Proceedings of the 12th IEEE Computer Security Foundations Workshop: June28-30, 1999, Mordano, Italy (COMPUTER SECURITY FOUNDATIONS WORKSHOP//PROCEEDINGS) - Softcover

Institute Of Electrical And Electronics Engineers

 
9780769502014: Proceedings of the 12th IEEE Computer Security Foundations Workshop: June28-30, 1999, Mordano, Italy (COMPUTER SECURITY FOUNDATIONS WORKSHOP//PROCEEDINGS)
Softcover
ISBN 10: 0769502016 ISBN 13: 9780769502014
Verlag: I.E.E.E.Press, 1999

Inhaltsangabe

Formal models; notation, transformation, and simplification in security protocol analysis; strand spaces; local names; interaction and composition; logics for authorization and access control; advances in automated security protocol analysis; and non-interference using process algebras are the general themes of the 19 papers. The topics include a formal framework and evaluation method for the network denial of service, a meta-notation for protocol analysis, honest functions and their applications to the analysis of cryptographic protocols, the formalization and proof of secrecy properties, the secure composition of insecure components, and a logical framework for reasoning on data access control policies. Only authors are indexed. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
I.E.E.E.Press
Erscheinungsdatum
1999
Sprache
Englisch
ISBN 10 
0769502016
ISBN 13 
9780769502014
Einband
Taschenbuch
Anzahl der Seiten
210
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar