Can I read Stepwise Development of Security Protocols: a Speech Act-oriented Approach on EtoBox?

Stepwise Development of Security Protocols: a Speech Act-oriented Approach by Phan Minh Dung; Phan Minh Thang is a scholarly article available to read on EtoBox.

What is Stepwise Development of Security Protocols: a Speech Act-oriented Approach about?

We propose a novel multi-layers paradigm for the design of key exchange protocols. In the top layer, protocols are specified in a high-level, declarative, formal language using speech acts as the basic building blocks. The declarative semantics of speech acts are specified by their preconditions and effects like in Hoare logics. A protocol logic, called ProtoLog, is developed for reasoning about speech act oriented protocols. Using the language of speech acts, protocol designers could develop their protocols in an modular and compositional way that are correct from the outset.High-level speech act-oriented protocols are automatically translated into lower-level message exchanging protocols by a "protocol compiler" that implements speech acts by sending and receiving appropriate encrypted messages.To demonstrate the applicability of our idea, we apply it on the class of well-designed key exchange protocols where a protocol is well-designed if a speech act is executed only if its preconditions are satisfied. We develop a "protocol compiler" for the class of well-designed protocols and prove the soundness and a limited form of completeness of the protocol logic ProtoLog wrt the transl

Author

Phan Minh Dung; Phan Minh Thang

Publisher

ACM

Published

2004

Language

EN