Browse by author
Lookup NU author(s): Dr Paolo Modesti
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
The AnBx compiler is a tool for automatic generation of Java implementations of security protocols specified in a simple and abstract model that can be formally verified. In our model-driven development approach, protocols are described in AnBx, an extension of the Alice & Bob notation. Along with the synthesis of consistency checks, the tool analyses the security goals and produces annotations that allow the verification of the generated implementation with ProVerif.
Author(s): Modesti P
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 8th International Symposium on Foundations and Practice of Security
Year of Conference: 2016
Online publication date: 25/02/2016
Acceptance date: 01/01/1900
Library holdings: Search Newcastle University Library for this item
Series Title: Foundations and Practice of Security - Lecture Notes in Computer Science