Formal models and techniques for analyzing security protocols

Type Book

Rate 0.0 /5

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 bet…

Details

Files

Reviews

Download

Title Statements

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

Summary

Edition Statements

Publication Date:©2011.

Publication Statements

Publisher(s):IOS Press
Place of Publication:Amsterdam
Language:eng
Publication Date:©2011.

The Physical Object

Description:1 online resource (vii, 303 pages) : : illustrations

Edition Identifiers

ISBN:9781607507147, 1607507145, 1607507137, 9781607507130
oclc:ocn758834764
LC Classification:QA76.9.A25
Dewey Decimal:005.8

Title page; Preface; Contents; Introduction; Verifying a Bounded Number of Sessions and Its Complexity; Constraint Solving Techniques and Enriching the Model with Equational Theories; Analysing Security Protocols Using CSP; Using Horn Clauses for Analyzing Security Protocols; Applied pi Calculus; Types for Security Protocols; Protocol Composition Logic; Shapes: Surveying Crypto Protocol Runs; Security Analysis Using Rank Functions in CSP; Computational Soundness -- The Case of Diffie-Hellman Keys; Author Index.

Subjects

Computer networks -- Security measures Computer security Computers -- Access control COMPUTERS -- Internet COMPUTERS -- Networking COMPUTERS -- Security Electronic information resources -- Acc… Ordinateurs -- Accès Réseaux d'ordinateurs -- Sécurité Sécurité informatique Sources d'information électroniques -- …