Synthesising Efficient and Effective Security Protocols | Zendy

Hao Chen | Zendy; John A. Clark | Zendy; Jeremy Jacob | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Synthesising Efficient and Effective Security Protocols

Author(s) -

Hao Chen,

John A. Clark,

Jeremy Jacob

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.05.017

Subject(s) - computer science , correctness , protocol (science) , cryptographic protocol , theoretical computer science , set (abstract data type) , programming language , logic programming , heuristic , algorithm , cryptography , artificial intelligence , medicine , alternative medicine , pathology

The logical correctness of security protocols is important. So are efficiency and cost. This paper shows that meta-heuristic search techniques can be used to synthesise protocols that are both provably correct and satisfy various non-functional efficiency criteria. Our work uses a subset of the SVO logic, which we view as a specification language and proof system and also as a “protocol programming language”. Our system starts from a set of initial security assumptions, carries out meta-heuristic search in the design space, and ends with a protocol (described at the logic level) that satisfies desired goals

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research