| | SLO | ENG | Piškotki in zasebnost

Večja pisava | Manjša pisava

Iskanje po katalogu digitalne knjižnice Pomoč

Iskalni niz: išči po
išči po
išči po
išči po
* po starem in bolonjskem študiju

Opcije:
  Ponastavi


1 - 3 / 3
Na začetekNa prejšnjo stran1Na naslednjo stranNa konec
1.
2.
Inference attacks and control on database structures
Muhamed Turkanović, Tatjana Welzer-Družovec, Marko Hölbl, 2015, izvirni znanstveni članek

Opis: Today’s databases store information with sensitivity levels that range from public to highly sensitive, hence ensuring confidentiality can be highly important, but also requires costly control. This paper focuses on the inference problem on different database structures. It presents possible treats on privacy with relation to the inference, and control methods for mitigating these treats. The paper shows that using only access control, without any inference control is inadequate, since these models are unable to protect against indirect data access. Furthermore, it covers new inference problems which rise from the dimensions of new technologies like XML, semantics, etc.
Ključne besede: inference, attacks, database, security, semantics
Objavljeno v DKUM: 09.08.2017; Ogledov: 1373; Prenosov: 111
.pdf Celotno besedilo (322,91 KB)
Gradivo ima več datotek! Več...

3.
Challenges and directions in formalizing the semantics of modeling languages
Barrett Richard Bryant, Jeffrey G. Gray, Marjan Mernik, Peter Clarke, Robert France, Gabor Karsai, 2011, izvirni znanstveni članek

Opis: Developing software from models is a growing practice and there exist many model-based tools (e.g., editors, interpreters, debuggers, and simulators) forsupporting model-driven engineering. Even though these tools facilitate theautomation of software engineering tasks and activities, such tools are typically engineered manually. However, many of these tools have a common semantic foundation centered around an underlying modeling language, which would make it possible to automate their development if the modeling language specification were formalized. Even though there has been much work in formalizing programming languages, with many successful tools constructed using such formalisms, there has been little work in formalizing modeling languages for the purpose of automation. This paper discusses possible semantics-based approaches for the formalization of modeling languages and describes how this formalism may be used to automate the construction of modeling tools.
Ključne besede: model-based tools, modeling language, semantics
Objavljeno v DKUM: 06.07.2017; Ogledov: 1189; Prenosov: 392
.pdf Celotno besedilo (568,31 KB)
Gradivo ima več datotek! Več...

Iskanje izvedeno v 0.1 sek.
Na vrh
Logotipi partnerjev Univerza v Mariboru Univerza v Ljubljani Univerza na Primorskem Univerza v Novi Gorici