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. Exploiting generic aspects of security models in formal developments
 
Options

Exploiting generic aspects of security models in formal developments

Publikationstyp
Book Part
Date Issued
2005
Sprache
English
Author(s)
Mantel, Heiko 
Schairer, Axel  
TORE-URI
http://hdl.handle.net/11420/14006
First published in
Lecture notes in computer science  
Number in series
2605 LNAI
Start Page
452
End Page
475
Citation
Lecture Notes in Computer Science 2605: 452-475 (2005)
Publisher DOI
10.1007/978-3-540-32254-2_26
Scopus ID
2-s2.0-34247144166
Publisher
Springer
ISBN
978-3-540-32254-2
978-3-540-25051-7
The construction of security models from scratch is a difficult, time consuming, and expensive task. In this article, we demonstrate how to exploit generic concepts, in particular the concept of secure information flow, to simplify the construction of security models. Requirements concerned with confidentiality or integrity can often be expressed nicely as restrictions on the allowed flow of information. For a verification of these restrictions, it is necessary to explicate formally what information flow means. Various information flow properties have been suggested for this purpose and we employ MAKS, the "Modular Assembly Kit for Security" [Man00a], for a unified perspective on these properties. How to exploit the generic security models based on secure information flow in practice is described in the context of the VSE system [AHL+00].
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