• English
  • Deutsch
  • Log In
    Password Login
    or
  • Research Outputs
  • Projects
  • Researchers
  • Institutes
  • Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. Abstractions preserving parameter confidentiality
 
  • Details
  • Full
Options
2005
Conference Paper
Titel

Abstractions preserving parameter confidentiality

Abstract
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.
Author(s)
Gürgens, S.
Ochsenschläger, P.
Rudolph, C.
Hauptwerk
Computer security - ESORICS 2005. Proceedings
Konferenz
European Symposium on Research in Computer Security (ESORICS) 2005
Thumbnail Image
DOI
10.1007/11555827_24
Language
English
google-scholar
Fraunhofer-Institut für Sichere Informationstechnologie SIT
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Send Feedback
© 2022