Formal Analysis of Security Protocols

Lieferzeit: Lieferbar innerhalb 14 Tagen

49,90 

ISBN: 3330020059
ISBN 13: 9783330020054
Autor: Ukaegbu, Dike
Verlag: LAP LAMBERT Academic Publishing
Umfang: 92 S.
Erscheinungsdatum: 03.01.2017
Auflage: 1/2017
Format: 0.6 x 22 x 15
Gewicht: 155 g
Produktform: Kartoniert
Einband: KT
Artikelnummer: 946332 Kategorie:

Beschreibung

The increase in the development of security protocols and demand for resilience on the part of users in the face of malicious attacks in recent times over communication channels, has resulted in the rigorous analysis and validation of these protocols. Hence, these security protocols must be completely automated, robust, expressive and easily usable. The analysis focuses on the expected security properties that each security protocol is meant to satisfy and also exposed the flaws/strengths inherent in the selected protocols. Hence, three qualities have been suggested which aid in designing of security protocols and also enhance confidence in the use of these protocols.

Autorenporträt

Dike A. Ukaegbu is an Information Technology Consultant and holds a Master of Science Degree in Information Technology (Software Systems) from Heriot Watt University, Edinburgh, United Kingdom. He is the Managing Director of Spinebel Limited and have played key roles in Enterprise Resource Management such as E-Money and Information Security.

Das könnte Ihnen auch gefallen …