AnBx Compiler and Java Code Generator: Security Protocols Specification, Verification and Implementation - Alice and Bob to Java Compiler. Features: AnBx to AnB compiler for verification (requires the OFMC model-checker); Java code generator from AnBx or AnB specification; Java library for security (AnBxJ); Output formats: AnB, Spyer, Executable Narrations, Optimized Executable Narrations, Applied-Pi [ProVerif], Java; New AnBx-IDE available here (Eclipse plugin supporting the AnBx/AnB language and verification tools)
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Almousa, Omar; Mödersheim, Sebastian; Viganò, Luca: Alice and Bob: reconciling formal models and implementation (2015)
- Modesti, Paolo: Efficient Java code generation of security protocols specified in (AnB/AnBx) (2014) ioport
- Bugliesi, Michele; Modesti, Paolo: AnBx -- security protocols design and verification (2010) ioport