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
Pages: 156-173
Online publication date: 25/02/2016
Acceptance date: 01/01/1900
ISSN: 9783319303031
Publisher: Springer
URL: http://dx.doi.org/10.1007/978-3-319-30303-1_10
DOI: 10.1007/978-3-319-30303-1_10
Library holdings: Search Newcastle University Library for this item
Series Title: Foundations and Practice of Security - Lecture Notes in Computer Science
ISBN: 9783319303024
