Computer Security Foundations Workshop VII

Contains 19 papers from the June 1994 workshop emphasizing formal models that provide a framework for theories of security and techniques for verifying security as defined by those theories. Papers are arranged in seven sections covering noninterference and composability, formal methods and semantic...

Ausführliche Beschreibung

Gespeichert in:
Körperschaft:
Institute of Electrical and Electronics Engineers Computer Society Press
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
[Place of publication not identified] IEEE Computer Society Press 1994
Zusammenfassung:
Contains 19 papers from the June 1994 workshop emphasizing formal models that provide a framework for theories of security and techniques for verifying security as defined by those theories. Papers are arranged in seven sections covering noninterference and composability, formal methods and semantics, cryptographic protocol analysis, and access control. Among the topics: trade offs between security and other system requirements, and foundational security issues in multimedia and computer-supported cooperative work. Lacks an index. Annotation copyright by Book News, Inc., Portland, OR.
Umfang:
1 online resource (216 pages)
Anmerkungen:
Bibliographic Level Mode of Issuance: Monograph
Anmerkungen:
English
Schlagworte:
Computer security > Congresses.
Bezugswerke: