Title:Formal Verification of the ARAN Protocol Using the Applied Pi-calculus.
Author(s):Godskesen, Jens Chr.
Document type:Workshop paper
Project:Computational Logic and Algorithms (CLA)
Status:Published
Entered:2006-05-02 by (User with login jcg not found) (updated 2006-10-27)
PDF-file:
Workshop Title:Sixth International IFIP WG 1.7 Workshop on Issues in the Theory of Security
Publishing Year:2006
Workshop Publication:Proceedings of the Sixth International IFIP WG 1.7 Workshop on Issues in the Theory of Security
Pages:99-113
Language:english
BiBTeX entry: 
@conference\{IT-C:1239,
author = \{Jens Chr. Godskesen},
title = \{Formal Verification of the ARAN Protocol Using the Applied Pi-calculus.},
booktitle = \{Proceedings of the Sixth International IFIP WG 1.7 Workshop on Issues in the Theory of Security},
year = \{2006},
pages = \{99-113}
}
Bibliographic entry: 
Godskesen, Jens Chr. (2006). Formal Verification of the ARAN Protocol Using the Applied Pi-calculus.. Paper presented at: Sixth International IFIP WG 1.7 Workshop on Issues in the Theory of Security. In: Proceedings of the Sixth International IFIP WG 1.7 Workshop on Issues in the Theory of Security, pp. 99-113