Articoli correlati a Proceedings of the 12th IEEE Computer Security Foundations...
Proceedings of the 12th IEEE Computer Security Foundations Workshop: June28-30, 1999, Mordano, Italy - Brossura
Sinossi
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)
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Proceedings of the 12th IEEE Computer Security Foundations...
Foto dell'editore
Proceedings of the 12th IEEE Computer Security Foundations Workshop: June28-30, 1999, Mordano, Italy (Computer Security Foundations Workshop, 12th Conference)
Editore:
Institute of Electrical & Electronics Enginee, 1999
ISBN 10: 0769502016
ISBN 13: 9780769502014
Antico o usato
Brossura
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 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. Codice articolo ZB390901
Quantità: 1 disponibili