Formal models and techniques for analyzing security protocols

by Cortier, Véronique Kremer, Steve

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

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

Edition Statements

Publication Date:©2011.

Publication Statements

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

The Physical Object

Description:vii, 303 pages : : illustrations ; : 25 cm.

Edition Identifiers

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

Verifying a bounded number of sessions and its complexity / Michael Rusinowitch and Mathieu Turuani -- Constraint solving techniques and enriching the model with equational theories / Hubert Comon-Lundh, Stéphanie Delaune and Jonathan K. Millen -- Analysing security protocols using CSP / Gavin Lowe -- Using horn clauses for analyzing security protocols / Bruno Blanchet -- Applied pi calculus / Mark D. Ryan and Ben Smyth -- Types for security protocols / Riccardo Focardi and Matteo Maffei -- Protocol composition logic / Anupam Datta ... [et al.] -- Shapes : surveying crypto protocol runs / Joshua D. Guttman -- Security analysis using rank functions in CSP / Steve Schneider -- Computational soundness : the case of Diffie-Hellman keys / Emmanuel Bresson ... [et al.].

Subjects

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