Proceedings of the 12th IEEE Computer Security Foundations Workshop: June28-30, 1999, Mordano, Italy - Brossura

Institute Of Electrical And Electronics Engineers

Brossura

ISBN 10: 0769502016 ISBN 13: 9780769502014

Casa editrice: IEEE, 1999

Riassunto

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)

Dettagli dell?edizione

• Editore: IEEE
• Data di pubblicazione: 1999
• ISBN 10: 0769502016
• ISBN 13: 9780769502014
• Rilegatura: Copertina flessibile
• Lingua: Inglese
• Numero di pagine: 210
• Contatto del produttore: non disponibile