Proceedings of the 12th IEEE Computer Security Foundations Workshop: June28-30, 1999, Mordano, Italy (COMPUTER SECURITY FOUNDATIONS WORKSHOP//PROCEEDINGS) - Softcover
Synopsis
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)
"synopsis" may belong to another edition of this title.
Search results for Proceedings of the 12th IEEE Computer Security Foundations...
Stock Image
Proceedings of the 12th IEEE Computer Security Foundations Workshop: June28-30, 1999, Mordano, Italy (Computer Security Foundations Workshop, 12th Conference)
Published by
Institute of Electrical & Electronics Enginee, 1999
ISBN 10: 0769502016
ISBN 13: 9780769502014
Used
Softcover
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, Dec. 8 (sale item)* 239 pp., softcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB390901