论文信息 - A model-based approach to analysis of authentication protocols

A model-based approach to analysis of authentication protocols

The paper presents the OF-APSAF integrated framework for authention protocol analysis. The framework is built on top of a well-established formal method CSP and its supporting tools: Casper and FDR. The integral part of OF-APSAF is the object-oriented semi-formal approach to modelling of cryptographic protocols, their application context and security requirements. The modelling is based on UML and a catalogue of specialised analytical patterns. Object-orientation helps to cope with the complexity inherent to the domain of security protocols verification and formal methods in general.

Janusz Górski | Marcin Olszewski

[1] Martín Abadi,et al. A logic of authentication , 1990, TOCS.

[2] Tzonelih Hwang,et al. On the Security of SPLICE/AS - The Authentication System in WIDE Internet , 1995, Inf. Process. Lett..

[3] Hideo Miyahara,et al. The Design and Implementation of an Authentication System for the Wide Area Distributed Environment , 1991 .

[4] Gavin Lowe. Casper: a compiler for the analysis of security protocols , 1998 .

[5] Peter Y. A. Ryan,et al. The modelling and analysis of security protocols: the csp approach , 2000 .

[6] Andrew William Roscoe,et al. The Theory and Practice of Concurrency , 1997 .

[7] Rafal Leszczyna,et al. An Approach to Trust Case Development , 2003, SAFECOMP.