This Integrated Development Environment (IDE) facilitates the design, verification, and implementation of security protocols, aiming to reduce the adoption barrier for formal methods tools in the security domain. Following the principles of Model-Driven Development (MDD), the environment assists users in specifying models with the simple and intuitive Alice and Bob (AnB) narration language, as well as its extension, AnBx. Additionally, it offers a push-button solution for the formal verification of both abstract and concrete models, and the automatic generation of Java implementations and ProVerif specifications. The tool also supports the applied pi calculus, used for modelling security protocols in ProVerif.
Key Features:
This Eclipse-based IDE integrates with existing languages and tools for the modelling and verification of security protocols, including:
- AnBx Compiler and Code Generator: Targets include AnB, ProVerif, Java, and Java (Docker).
- OFMC: A model checker, for security protocols verification.
- ProVerif: A verifier for cryptographic protocols.
Requirements:
- Java 17 or later.
- XText Redistributable 2.34.0 or later.
- External tools (AnBx Compiler, OFMC, and ProVerif) need to be downloaded separately. Packages for Windows, Linux, and macOS are available on the support site, where you will also find comprehensive documentation.
Categories: Application Development Frameworks, Editor, IDE, Languages, Modeling Tools
Tags: Security Protocols, cryptography, Modelling, Verification, Java Code Generation, java, code generation, Model Driven, Domain Specific Language, languages, AnBx, ProVerif, OFMC
Additional Details
Eclipse Versions: 2025-03 (4.35), 2024-12 (4.34), 2024-09 (4.33), 2024-06 (4.32), 2024-03 (4.31), 2025-06 (4.36)
Platform Support: Windows, Mac, Linux/GTK
Development Status: Beta
Date Created: Tuesday, November 28, 2017 - 19:15
License: GPL
Date Updated: Monday, April 14, 2025 - 10:35
Submitted by: Paolo Modesti
Date | Ranking | Installs | Clickthroughs |
---|---|---|---|
April 2025 | 482/619 | 4 | 16 |
March 2025 | 516/661 | 5 | 29 |
February 2025 | 425/645 | 12 | 32 |
January 2025 | 514/654 | 4 | 15 |
December 2024 | 551/654 | 3 | 17 |
November 2024 | 475/658 | 7 | 14 |
October 2024 | 493/663 | 6 | 8 |
September 2024 | 502/642 | 5 | 9 |
August 2024 | 482/641 | 6 | 11 |
July 2024 | 488/663 | 7 | 16 |
June 2024 | 465/681 | 9 | 14 |
May 2024 | 441/682 | 12 | 154 |
Reviews Add new review
thanks for all
Submitted by Sandra pink on Fri, 06/08/2018 - 05:26
thanks for all