A Uniform Framework for the Formal Specification and Verification of Information Flow Security
Publication status
publishedExternal links
Search print copy at ETH Library
Publisher
Saarland UniversityOrganisational unit
03634 - Basin, David / Basin, David
Notes
Saarbrücken, Univ., Diss., 2003.More
Show all metadata
ETH Bibliography
no
Altmetrics