@inproceedings{d1c2168502354f9db9d00f4331ede7e7,
title = "Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx",
abstract = "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.",
author = "Paolo Modesti",
year = "2014",
doi = "10.1007/978-3-319-11851-2_17",
language = "English",
volume = "8743",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "204--208",
editor = "Sjouke Mauw and Jensen, {Christian Damsgaard}",
booktitle = "Proceedings, Security and Trust Management",
note = "10th International Workshop on Security and Trust Management, STM 2014 ; Conference date: 10-09-2014 Through 11-09-2014",
}