Artículos relacionados a Modelling & Analysis of Security Protocols
Sinopsis
Book by Ryan Peter Schneider Steve Goldsmith Michael Lowe
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
Security protocols are one of the most critical elements in enabling the secure communication and processing of information, ensuring its confidentiality, integrity, authenticity and availability. These protocols are vulnerable to a host of subtle attacks, so designing protocols to be impervious to such attacks has proved to be extremely challenging and error prone. This book provides a thorough and detailed understanding of one of the most effective approaches to the design and evaluation of security critical systems, describing the role of security protocols in distributed secure systems and the vulnerabilities to which they are prey. The authors introduce security protocols, the role they play and the cryptographic mechanisms they employ, and detail their role in security architectures, e-commerce, e-cash etc. Precise characterizations of key concepts in information security, such as confidentiality, authentication and integrity are introduced and a range of tools and techniques are described which will ensure that a protocol guarantees certain security services under appropriate assumptions. Modeling and Analysis of Security Protocols provides: An in-depth discussion of the nature and role of security protocols and their vulnerabilities. A rigorous framework in which security protocols and properties can be defined in detail. An understanding of the tools and techniques used to design and evaluate security protocols.
Biografía del autor
Peter Ryan has over 15 years experience in cryptography and mathematical modelling, computer security and formal methods, gained at GCHQ, CESG, DERA and SRI Cambridge. He is a DERA Fellow, an IMA Fellow and Chair of the Steering Committee of ESORICS. In 1999 he was awarded the title of DERA Fellow. Steve Schneider is a Senior Lecturer in the Department of Computer Science, Royal Holloway, University of London, UK. He has published a large number of journal and conference papers in the areas of concurrency theory and security. Michael Goldsmith is Managing Director of Formal Systems (Europe) Ltd, the company which developed the FDR tool and devised the techniques described in the book in collaboration with DERA and the University of Oxford. He is a Senior Research Fellow of Worcester College, Oxford. Gavin Lowe is a Lecturer in Computer Science at the University of Oxford. He was responsible for discovering the attack on the Needham-Schroeder Public-Key protocol, which established the power of the current approach. Bill Roscoe is Professor of Computing Science at the University of Oxford. He is one of the principal developers of CSP and of its application to cryptoprotocols and other aspects of computer security.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialAddison Wesley
- Año de publicación2000
- ISBN 10 0201674718
- ISBN 13 9780201674712
- EncuadernaciónTapa blanda
- Número de páginas314
Comprar nuevo
Ver este artículo
EUR 92,76
Gastos de envío:
EUR 3,58
A Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen de archivo
The Modelling and Analysis of Security Protocols: The Csp Approach
Publicado por
Addison-Wesley, 2000
ISBN 10: 0201674718
ISBN 13: 9780201674712
Antiguo o usado
Tapa blanda
Librería: Austin Goodwill 1101, Austin, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Get fast and secure shipping knowing your purchase helps empower our community to transform their lives through work. Nº de ref. del artículo: 4RZURM000KX4
Cantidad disponible: 1 disponibles
Imagen de archivo
Modelling and Analysis of Security Protocols
Publicado por
Addison-Wesley, 2000
ISBN 10: 0201674718
ISBN 13: 9780201674712
Antiguo o usado
Paperback
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Nº de ref. del artículo: GOR001885178
Gastos de envío:
EUR 5,73
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
The Modelling and Analysis of Security Protocols: The Csp Approach
Publicado por
Addison-Wesley, 2000
ISBN 10: 0201674718
ISBN 13: 9780201674712
Antiguo o usado
Tapa blanda
Librería: Books Unplugged, Amherst, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within 1.42. Nº de ref. del artículo: bk0201674718xvz189zvxgdd
Cantidad disponible: 1 disponibles
Imagen de archivo
The Modelling and Analysis of Security Protocols: The Csp Approach
Publicado por
Addison-Wesley Professional, 2023
ISBN 10: 0201674718
ISBN 13: 9780201674712
Antiguo o usado
Softcover
Librería: Ergodebooks, Houston, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: Good. (Pearson Education) A thorough and detailed explanation of the most common and effective approaches to the design and analysis of security critical systems. Describes the role of security protocols, exposing their strengths and weaknesses. Covers each different kind of protocol in detail, touching on key concepts such as confidentiality and integrity. Softcover. Nº de ref. del artículo: SONG0201674718
Cantidad disponible: 1 disponibles
Imagen de archivo
Modelling and Analysis of Security Protocols
Publicado por
Pearson Education, Limited, 2000
ISBN 10: 0201674718
ISBN 13: 9780201674712
Antiguo o usado
Tapa blanda
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Nº de ref. del artículo: 2239057-20
Gastos de envío:
EUR 9,54
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
The Modelling and Analysis of Security Protocols: The Csp Approach
Publicado por
Addison-Wesley, 2000
ISBN 10: 0201674718
ISBN 13: 9780201674712
Antiguo o usado
Paperback
Librería: GoldenDragon, Houston, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: very good. Very Good Copy. Fast Shipment. Nº de ref. del artículo: SilverDragon0201674718
Cantidad disponible: 1 disponibles
Imagen de archivo
The Modelling and Analysis of Security Protocols: The Csp Approach
Publicado por
Addison-Wesley, 2000
ISBN 10: 0201674718
ISBN 13: 9780201674712
Antiguo o usado
Paperback
Librería: GoldBooks, Denver, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: very good. Very Good Copy. Customer Service Guaranteed. Nº de ref. del artículo: think_very_0201674718
Cantidad disponible: 1 disponibles
Imagen de archivo
Modelling & Analysis of Security Protocols
Publicado por
Addison Wesley, 2001
ISBN 10: 0201674718
ISBN 13: 9780201674712
Antiguo o usado
Softcover
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: Bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Salissures sur la tranche. Pages cornées. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slightly creased cover. Stains on the edge. Dog-eared pages. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: E-563-547
Cantidad disponible: 1 disponibles
Imagen de archivo
The Modelling and Analysis of Security Protocols: The Csp Approach
Librería: GoldenWavesOfBooks, Fayetteville, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: new. New. Fast Shipping and good customer service. Nº de ref. del artículo: Holz_New_0201674718
Cantidad disponible: 1 disponibles
Imagen de archivo
The Modelling and Analysis of Security Protocols: The Csp Approach
Librería: Big Bill's Books, Wimberley, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: new. Brand New Copy. Nº de ref. del artículo: BBB_new0201674718
Cantidad disponible: 1 disponibles