Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Abstractions preserving parameter confidentiality

: Gürgens, S.; Ochsenschläger, P.; Rudolph, C.


Capitani di Vimercati, S. de:
Computer security - ESORICS 2005. Proceedings : 10th European Symposium on Research in Computer Security, Milan, Italy, September 12 - 14, 2005
Berlin: Springer, 2005 (Lecture Notes in Computer Science 3679)
ISBN: 3-540-28963-1
ISBN: 978-3-540-28963-0
ISSN: 0302-9743
European Symposium on Research in Computer Security (ESORICS) <10, 2005, Mailand>
Conference Paper
Fraunhofer SIT ()

Confidentiality of certain parameters is an essential security requirement for many security sensitive applications. In this paper, conditions for abstractions are formulated in terms of formal language theory to be able to prove parameter confidentiality in an abstract view of a system and then conclude that an adequate representation of the property is satisfied in the refined system as well. These conditions essentially depend on an agents view as well as on an agent's initial knowledge of the system behaviour, which explicitely formalizes assumptions about the system.