A Uniform Framework for the Formal Specification and Verification of Information Flow Security

Thumbnail
Metadata only
Author
Mantel, Heiko
Date
2003
Type
  • Doctoral Thesis
Publication status
published
External links
http://nbn-resolving.de/urn:nbn:de:bsz:291-scidok-2024
Search via SFX
Publisher
Saarland University
Organisational unit
03634 - Basin, David  
Notes
Saarbrücken, Univ., Diss., 2003.
More
Show all metadata
ETH Bibliography
no
Altmetrics