Abstract:
Security protocols play an important role in modern communications. However, security protocol development is a delicate task, and experience shows that computer security...Show MoreMetadata
Abstract:
Security protocols play an important role in modern communications. However, security protocol development is a delicate task, and experience shows that computer security protocols are notoriously difficult to get right. Recently, Clark and Jacob (2001) provided a framework for automatic protocol generation based on combinatorial optimization techniques and the symmetric key part of BAN logic. This paper shows how such an approach can be further developed to encompass the full BAN logic without loss of efficiency and thereby synthesize public key protocols and hybrid protocols.
Date of Conference: 08-12 December 2003
Date Added to IEEE Xplore: 24 May 2004
Print ISBN:0-7803-7804-0