Artículos relacionados a Cryptographic Protocol: Security Analysis Based on...
Sinopsis
"Cryptographic Protocol: Security Analysis Based on Trusted Freshness" mainly discusses how to analyze and design cryptographic protocols based on the idea of system engineering and that of the trusted freshness component. A novel freshness principle based on the trusted freshness component is presented; this principle is the basis for an efficient and easy method for analyzing the security of cryptographic protocols. The reasoning results of the new approach, when compared with the security conditions, can either establish the correctness of a cryptographic protocol when the protocol is in fact correct, or identify the absence of the security properties, which leads the structure to construct attacks directly. Furthermore, based on the freshness principle, a belief multiset formalism is presented. This formalism’s efficiency, rigorousness, and the possibility of its automation are also presented.
The book is intended for researchers, engineers, and graduate students in the fields of communication, computer science and cryptography, and will be especially useful for engineers who need to analyze cryptographic protocols in the real world.
Dr. Ling Dong is a senior engineer in the network construction and information security field. Dr. Kefei Chen is a Professor at the Department of Computer Science and Engineering, Shanghai Jiao Tong University.
"Sinopsis" puede pertenecer a otra edición de este libro.
Críticas
From the reviews:
“In this book, the security analysis of cryptographic protocols based on trusted freshness is systematically studied, and the authors introduce their team’s recent relevant results in this field. ... the authors propose the freshness principle, which is a new kind of method of security analysis of protocols based on the idea of trusted freshness. ... In this way, some classic authentication protocol attacks are analyzed. ... This book is a good one in the field of cryptographic protocols.” (Xiubin Fan, Mathematical Reviews, March, 2014)Reseña del editor
"Cryptographic Protocol: Security Analysis Based on Trusted Freshness" mainly discusses how to analyze and design cryptographic protocols based on the idea of system engineering and that of the trusted freshness component. A novel freshness principle based on the trusted freshness component is presented; this principle is the basis for an efficient and easy method for analyzing the security of cryptographic protocols. The reasoning results of the new approach, when compared with the security conditions, can either establish the correctness of a cryptographic protocol when the protocol is in fact correct, or identify the absence of the security properties, which leads the structure to construct attacks directly. Furthermore, based on the freshness principle, a belief multiset formalism is presented. This formalism’s efficiency, rigorousness, and the possibility of its automation are also presented.
The book is intended for researchers, engineers, and graduate students in the fields of communication, computer science and cryptography, and will be especially useful for engineers who need to analyze cryptographic protocols in the real world.
Dr. Ling Dong is a senior engineer in the network construction and information security field. Dr. Kefei Chen is a Professor at the Department of Computer Science and Engineering, Shanghai Jiao Tong University.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 52,88
EUR 29,96 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Cryptographic Protocol: Security Analysis Based on...
Edición internacional
Cryptographic Protocol: Security Analysis Based on Trusted Freshness (2011), Hardcover edition
Publicado por
Springer-Verlag New York Inc, 2012
ISBN 10: 3642240720
ISBN 13: 9783642240720
Nuevo
Tapa dura
Librería: Sizzler Texts, SAN GABRIEL, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: New. Estado de la sobrecubierta: New. 1st Edition. **INTERNATIONAL EDITION** Read carefully before purchase: This book is the Hardcover international edition in mint condition with the different ISBN and book cover design, the major content is printed in full English as same as the original North American edition. The book printed in black and white, generally send in twenty-four hours after the order confirmed. All shipments contain tracking numbers. Great professional textbook selling experience and expedite shipping service. Nº de ref. del artículo: ABE-6377402846
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Cryptographic Protocol : Security Analysis Based on Trusted Freshness
Publicado por
Springer Berlin Heidelberg, 2012
ISBN 10: 3642240720
ISBN 13: 9783642240720
Antiguo o usado
Tapa dura
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 388 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 11199227/12
Cantidad disponible: 1 disponibles
Imagen del vendedor
Cryptographic Protocol
Publicado por
Springer Berlin Heidelberg, 2012
ISBN 10: 3642240720
ISBN 13: 9783642240720
Nuevo
Tapa dura
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book from the theoretical foundations up to engineering aspects on key establishment protocolsSystematical and operational principles on protocol designNew approach to security analysis not only in theory but also in practice. Nº de ref. del artículo: 5053426
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Cryptographic Protocol: Security Analysis Based on Trusted Freshness
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783642240720_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Cryptographic Protocol
Publicado por
Springer Berlin Heidelberg Apr 2012, 2012
ISBN 10: 3642240720
ISBN 13: 9783642240720
Nuevo
Tapa dura
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -'Cryptographic Protocol: Security Analysis Based on Trusted Freshness' mainly discusses how to analyze and design cryptographic protocols based on the idea of system engineering and that of the trusted freshness component. A novel freshness principle based on the trusted freshness component is presented; this principle is the basis for an efficient and easy method for analyzing the security of cryptographic protocols. The reasoning results of the new approach, when compared with the security conditions, can either establish the correctness of a cryptographic protocol when the protocol is in fact correct, or identify the absence of the security properties, which leads the structure to construct attacks directly. Furthermore, based on the freshness principle, a belief multiset formalism is presented. This formalism's efficiency, rigorousness, and the possibility of its automation are also presented.The book is intended for researchers, engineers, and graduate students in the fields of communication, computer science and cryptography, and will be especially useful for engineers who need to analyze cryptographic protocols in the real world.Dr. Ling Dong is a senior engineer in the network construction and information security field. Dr. Kefei Chen is a Professor at the Department of Computer Science and Engineering, Shanghai Jiao Tong University. 388 pp. Englisch. Nº de ref. del artículo: 9783642240720
Cantidad disponible: 1 disponibles
Imagen del vendedor
Cryptographic Protocol : Security Analysis Based on Trusted Freshness
Publicado por
Springer Berlin Heidelberg, 2012
ISBN 10: 3642240720
ISBN 13: 9783642240720
Nuevo
Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 'Cryptographic Protocol: Security Analysis Based on Trusted Freshness' mainly discusses how to analyze and design cryptographic protocols based on the idea of system engineering and that of the trusted freshness component. A novel freshness principle based on the trusted freshness component is presented; this principle is the basis for an efficient and easy method for analyzing the security of cryptographic protocols. The reasoning results of the new approach, when compared with the security conditions, can either establish the correctness of a cryptographic protocol when the protocol is in fact correct, or identify the absence of the security properties, which leads the structure to construct attacks directly. Furthermore, based on the freshness principle, a belief multiset formalism is presented. This formalism's efficiency, rigorousness, and the possibility of its automation are also presented.The book is intended for researchers, engineers, and graduate students in the fields of communication, computer science and cryptography, and will be especially useful for engineers who need to analyze cryptographic protocols in the real world.Dr. Ling Dong is a senior engineer in the network construction and information security field. Dr. Kefei Chen is a Professor at the Department of Computer Science and Engineering, Shanghai Jiao Tong University. Nº de ref. del artículo: 9783642240720
Cantidad disponible: 1 disponibles
Imagen de archivo
Cryptographic Protocol : Security Analysis Based on Trusted Freshness
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 13977670-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Cryptographic Protocol : Security Analysis Based on Trusted Freshness
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 13977670-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Cryptographic Protocol: Security Analysis Based on Trusted Freshness
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020221501
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Cryptographic Protocol
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 373. Nº de ref. del artículo: 264336704
Cantidad disponible: 4 disponibles