Formal models and techniques for analyzing security protocols

Formal models and techniques for analyzing security protocols / edited by Véronique Cortier and Steve Kremer.

Security protocols are the small distributed programs which are omnipresent in our daily lives in areas such as online banking and commerce and mobile phones. Their purpose is to keep our transactions and personal data secure. Because these protocols are generally implemented on potentially insecure...

Full description

Saved in:
Bibliographic Details
Corporate Author: IOS Press
Other Authors: Cortier, Véronique, Kremer, Steve
Format: eBook
Language:English
Published: Amsterdam ; Da Washington, DC : IOS Press, ©2011.
Series:Cryptology and information security series ; v. 5.
Subjects:
Computer security.
Computers > Access control.
Computer networks > Security measures.
Electronic information resources > Access control.
COMPUTERS > Internet > Security.
COMPUTERS > Networking > Security.
COMPUTERS > Security > General.
Computer networks > Security measures
Computer security
Computers > Access control
Electronic information resources > Access control
Online Access:Click for online access
Description
Summary:Security protocols are the small distributed programs which are omnipresent in our daily lives in areas such as online banking and commerce and mobile phones. Their purpose is to keep our transactions and personal data secure. Because these protocols are generally implemented on potentially insecure networks like the internet, they are notoriously difficult to devise. The field of symbolic analysis of security protocols has seen significant advances during the last few years. There is now a better understanding of decidability and complexity questions and successful automated tools for the pro.
Physical Description:1 online resource (vii, 303 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:9781607507147
1607507145
1607507137
9781607507130
Source of Description, Etc. Note:Print version record.

Similar Items