Toggle Main Menu Toggle Search

Open Access padlockePrints

Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx

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.


© Springer International Publishing Switzerland 2014.The implementation of security protocols is challenging and error-prone. A model-driven development approach allows the automatic generation of an application, from a simpler and abstract model that can be formally verified. Our AnBx compiler is a tool for automatic generation of Java code of security protocols specified in the Alice&Bob notation. In contrast with existing tools, it uses a simpler specification language and computes the consistency checks that agents have to perform on reception of messages. Moreover, the tool applies various optimization strategies to achieve efficiency both at compile and run time.

Publication metadata

Author(s): Modesti P

Editor(s): Mauw, Sjouke, Damsgaard Jensen, Christian (Eds.)

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 10th International Workshop on Security and Trust Management (STM)

Year of Conference: 2014

Pages: 204-208

Online publication date: 11/09/2014

Acceptance date: 01/01/1900

ISSN: 9783319118505

Publisher: Springer, Cham


DOI: 10.1007/978-3-319-11851-2_17

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783319118512