Formal Analysis of Security Protocols

ISBN-13: 9783330020054 / Angielski / Miękka / 2016 / 92 str.

Dike Ukaegbu

Opis

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.

O autorze

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.