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 swisscovery
Publisher
Saarland University
Organisational unit
03634 - Basin, David / Basin, David  
Notes
Saarbrücken, Univ., Diss., 2003.
More
Show all metadata
ETH Bibliography
no
Altmetrics