AnBx IDE

Add this URL to your Eclipse Installation to reach this solution's update site.

2024-03 (4.31), 2023-12 (4.30), 2023-09 (4.29), 2023-06 (4.28), 2023-03 (4.27), 2022-12 (4.26), 2022-09 (4.25), 2022-06 (4.24), 2022-03 (4.23)

https://www.dais.unive.it/~modesti/anbx/ide/

Learn more...
Solution Description

This Integrated Development Environment for the design, verification and implementation of security protocols is aimed at lowering the adoption barrier of formal methods tools for security. In the spirit of Model Driven Development, the environment supports the user in the specification of a model using the simple and intuitive language AnB (and its extension AnBx). Moreover, it provides a push-button solution for the formal verification of the abstract and concrete models, and for the automatic generation of Java implementation and ProVerif specification. The tool also supports the applied-pi language, for modelling security protocols used by ProVerif.

This Eclipse-based IDE leverages on existing languages and tools for the modelling and verification of security protocols, such as:

  • AnBx Compiler and Code Generator. Main targets: AnB, ProVerif, Java, Java (Docker)
  • OFMC, model checker
  • ProVerif, cryptographic protocol verifier

This plugin requires Java 11 and XText Redistributable 2.28.0 or later.

External tools (AnBx compiler, OFMC and ProVerif) must be downloaded separately:
packages for Windows, Linux and Mac are available in the support site where you can also find the documentation.

Additional Details

Eclipse Versions: 2024-03 (4.31), 2023-12 (4.30), 2023-09 (4.29), 2023-06 (4.28), 2023-03 (4.27), 2022-12 (4.26), 2022-09 (4.25), 2022-06 (4.24), 2022-03 (4.23)

Platform Support: Windows, Mac, Linux/GTK

Development Status: Beta

Date Created: Tuesday, November 28, 2017 - 19:15

License: GPL

Date Updated: Wednesday, March 13, 2024 - 13:15

Submitted by: Paolo Modesti

Screenshot
Date Ranking Installs Clickthroughs
March 2024 483/651 6 12
February 2024 409/687 18 16
January 2024 464/691 9 16
December 2023 405/671 17 19
November 2023 443/686 14 16
October 2023 663/673 1 17
September 2023 483/663 9 18
August 2023 576/673 3 13
July 2023 507/668 6 13
June 2023 568/669 3 7
May 2023 456/671 13 12
April 2023 500/667 7 9
View Data for all Listings

Unsuccessful Installs

Unsuccessful Installs in the last 7 Days: 0

Download last 500 errors (CSV)

Marketplace Drag to Install Button

By adding the following code below to your website you will be able to add an install button for AnBx IDE.

HTML Code:

Markdown Syntax:

Output:

Drag to your running Eclipse* workspace. *Requires Eclipse Marketplace Client

Reviews Add new review