Fast automatic synthesis of security protocols using backward search

Authors:
Hongbin Zhou;Simon N. Foley
Affiliations:
University College, Ireland;University College, Ireland
Venue:
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
Year:
2003

Citing 17
Cited 5

A logic of authentication

ACM Transactions on Computer Systems (TOCS)
Optimal privacy and authentication on a portable communications system

ACM SIGOPS Operating Systems Review
A lesson on authentication protocol design

ACM SIGOPS Operating Systems Review
A calculus for cryptographic protocols: the spi calculus

Proceedings of the 4th ACM conference on Computer and communications security
The inductive approach to verifying cryptographic protocols

Journal of Computer Security
Relations between secrets: two formal analyses of the Yahalom protocol

Journal of Computer Security
Intensional specifications of security protocols

CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
Strategies against Replay Attacks

CSFW '97 Proceedings of the 10th IEEE workshop on Computer Security Foundations
A Hierarchy of Authentication Specifications

CSFW '97 Proceedings of the 10th IEEE workshop on Computer Security Foundations
A Simple Logic for Authentication Protocol Design

CSFW '98 Proceedings of the 11th IEEE workshop on Computer Security Foundations
Athena: a New Efficient Automatic Checker for Security Protocol Analysis

CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Looking for Diamonds in the Desert - Extending Automatic Protocol Generation to Three-Party Authentication and Key Agreement Protocols

CSFW '00 Proceedings of the 13th IEEE workshop on Computer Security Foundations
Security Protocol Design via Authentication Tests

CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Prudent Engineering Practice for Cryptographic Protocols

SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy
Authentication Tests

SP '00 Proceedings of the 2000 IEEE Symposium on Security and Privacy
Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols

SP '00 Proceedings of the 2000 IEEE Symposium on Security and Privacy
Theory generation for security protocols

Theory generation for security protocols

A collaborative approach to autonomic security protocols

NSPW '04 Proceedings of the 2004 workshop on New security paradigms
Believing the Integrity of a System

Electronic Notes in Theoretical Computer Science (ENTCS)
Routing functionality in the logic approach for authentication protocol design

HI'11 Proceedings of the 2011 international conference on Human interface and the management of information - Volume Part I
Towards a framework for autonomic security protocols

Proceedings of the 11th international conference on Security Protocols
Fast automatic security protocol generation

Journal of Computer Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

An automatic security protocol generator is proposed that used logic-based synthesis rules to guide it in a backward search for suitable protocols from protocol goals. The approach taken is unlike existing automatic protocol generators which typically carry out a forward search for candidate protocols from the protocol assumptions. A prototype generator has been built that performs well in the automatic generation of authentication and key exchange protocols.