| | SLO | ENG | Cookies and privacy

Bigger font | Smaller font

Search the digital library catalog Help

Query: search in
search in
search in
search in
* old and bologna study programme


1 - 3 / 3
First pagePrevious page1Next pageLast page
Inference attacks and control on database structures
Muhamed Turkanović, Tatjana Welzer-Družovec, Marko Hölbl, 2015, original scientific article

Abstract: 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.
Keywords: inference, attacks, database, security, semantics
Published in DKUM: 09.08.2017; Views: 1395; Downloads: 111
.pdf Full text (322,91 KB)
This document has many files! More...

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, original scientific article

Abstract: 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.
Keywords: model-based tools, modeling language, semantics
Published in DKUM: 06.07.2017; Views: 1218; Downloads: 393
.pdf Full text (568,31 KB)
This document has many files! More...

Search done in 4.12 sec.
Back to top
Logos of partners University of Maribor University of Ljubljana University of Primorska University of Nova Gorica