A general framework for formal notions of "secure" systems
By: Birgit Pfitzmann, Michael Waidner.
Contributors: Waidner, Michael.
Series: Hildesheimer Informatik-Berichte,; 11/94; Hildesheimer Informatik-Berichte ;; 94/11.
Publisher: Universität Hildesheim, Institut für Informatik
Published: 1994
Place of publication: Hildesheim
Language: eng
Number of pages: 24
Subjects: Computer security.
Notes: Includes bibliographical references (p. 23-24).
Cover title.
"April 1994."