TUHH Open Research
Help
  • Log In
    New user? Click here to register.Have you forgotten your password?
  • English
  • Deutsch
  • Communities & Collections
  • Publications
  • Research Data
  • People
  • Institutions
  • Projects
  • Statistics
  1. Home
  2. TUHH
  3. Publication References
  4. Unwinding possibilistic security properties
 
Options

Unwinding possibilistic security properties

Publikationstyp
Conference Paper
Date Issued
2000-10
Sprache
English
Author(s)
Mantel, Heiko 
TORE-URI
http://hdl.handle.net/11420/14029
First published in
Lecture notes in computer science  
Number in series
1895 LNCS
Start Page
238
End Page
254
Citation
Lecture Notes in Computer Science 1895 LNCS: 238-254 (2000)
Contribution to Conference
6th European Symposium on Research in Computer Security, ESORICS 2000  
Publisher DOI
10.1007/10722599_15
Scopus ID
2-s2.0-84944059120
Publisher
Springer
Unwinding conditions are helpful to prove that deterministic systems fulfill non-interference. In order to generalize non-interference to non-deterministic systems various possibilistic security properties have been proposed. In this paper, we present generic unwinding conditions which are applicable to a large class of such security properties. That these conditions are sufficient to ensure security is demonstrated by unwinding theorems. In certain cases they are also necessary. The practical usefulness of our results is illustrated by instantiating the generic unwinding conditions for well-known security properties. Furthermore, similarities of proving security with proving refinement are identified which results in proof techniques which are correct as well as complete.
Subjects
Information flow
Refinement
Security models
Unwinding
DDC Class
004: Informatik
TUHH
Weiterführende Links
  • Contact
  • Send Feedback
  • Cookie settings
  • Privacy policy
  • Impress
DSpace Software

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science
Design by effective webwork GmbH

  • Deutsche NationalbibliothekDeutsche Nationalbibliothek
  • ORCiD Member OrganizationORCiD Member Organization
  • DataCiteDataCite
  • Re3DataRe3Data
  • OpenDOAROpenDOAR
  • OpenAireOpenAire
  • BASE Bielefeld Academic Search EngineBASE Bielefeld Academic Search Engine
Feedback