Computer Security Foundations Workshop VIII

Researchers explore fundamental issues in computer security such as access, control, cryptography protocols, database security, integrity and availability, information flow, and formal methods for security. Among the 18 topics are classifying key agreement protocols, a semantics-based tool for the v...

Ausführliche Beschreibung

Gespeichert in:
Körperschaft:
Institute of Electrical and Electronics Engineers
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
[Place of publication not identified] IEEE Computer Society Press 1995
Zusammenfassung:
Researchers explore fundamental issues in computer security such as access, control, cryptography protocols, database security, integrity and availability, information flow, and formal methods for security. Among the 18 topics are classifying key agreement protocols, a semantics-based tool for the verification of security properties, and the epistemic representation of information flow security in probabilistic systems. No subject index. Annotation copyright by Book News, Inc., Portland, OR.
Umfang:
1 online resource
Anmerkungen:
Bibliographic Level Mode of Issuance: Monograph
Anmerkungen:
English
Schlagworte:
Computer security > Congresses.
Computer security > Decision making.
Bezugswerke: