Secure Protocol Composition
Published in Electronic Notes in Theoretical Computer Science • Jan 1, 2003
Authors:,,
Anupam Datta
Ante Đerek
John C. Mitchell
Abstract
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting from basic security components, using a sequence of refinements and transformations, just like logical proofs are derive...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!