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.
Sorted by year (citations)

  1. Almousa, Omar; Mödersheim, Sebastian; Viganò, Luca: Alice and Bob: reconciling formal models and implementation (2015)
  2. Modesti, Paolo: Efficient Java code generation of security protocols specified in (AnB/AnBx) (2014) ioport
  3. Bugliesi, Michele; Modesti, Paolo: AnBx -- security protocols design and verification (2010) ioport