Skip to main content
  • Log in
  • Manage Cookies
Eclipse Plugins, Bundles and Products - Eclipse Marketplace
  • My Marketplace
  • Add Content
  • More
      • Community

      • Marketplace
      • Events
      • Planet Eclipse
      • Newsletter
      • Videos
      • Blogs
      • Participate

      • Report a Bug
      • Forums
      • Mailing Lists
      • Wiki
      • IRC
      • Research
      • Eclipse IDE

      • Download
      • Learn More
      • Documentation
      • Getting Started / Support
      • How to Contribute
      • IDE and Tools
      • Newcomer Forum
    • Search

  1. Home
  2. Marketplace
  3. Tools
  4. AnBx IDE

Please be aware that some listings have been temporarily delisted from our marketplace in order to improve the security of the platform. We apologize for any inconvenience this may caused.

For more information on this matter, please visit #1.

If you are a listing owner and would like to have your listing(s) reinstated, please open a ticket at https://gitlab.eclipse.org/eclipsefdn/it/websites/marketplace.eclipse.org/-/issues.

Thank you for your understanding and cooperation.

AnBx IDE

AnBx IDE
3
1
Install

Drag to Install!

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

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

2022-12 (4.26)
2022-09 (4.25)
2022-06 (4.24)
2022-03 (4.23)
2023-03 (4.27)

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

Learn more...

Screenshot 0

Details Group Tabs

Details

Security protocols are critical components for the construction of secure and dependable distributed applications, but their implementation is challenging and error prone. Therefore, tools for formal modelling and analysis of security protocols are essential to support software engineers in practice. However, despite having been available for many years, the adoption of formal methods tools outside the research community has been very limited. In fact, most practitioners find such applications too complex and incompatible with their work requirements.

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.

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
  • 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 from the support site where you can also find the documentation.

Categories:
  • Application Development Frameworks,
  • IDE,
  • Languages,
  • Modeling Tools
Tags:
  • Security Protocols,
  • cryptography,
  • Modelling,
  • Verification,
  • Java Code Generation,
  • java,
  • code generation,
  • Model Driven,
  • Domain Specific Language,
  • languages,
  • AnBx
Additional Details
Eclipse Versions: 
2022-12 (4.26), 2022-09 (4.25), 2022-06 (4.24), 2022-03 (4.23), 2023-03 (4.27)
Platform Support: 
Windows, Mac, Linux/GTK
Development Status: 
Alpha
Date Created: 
Tue, 2017-11-28 19:15
License: 
GPL
Date Updated: 
Fri, 2023-01-13 10:08
Submitted by: 
Paolo Modesti
Screenshots
Screenshot 0
Metrics
DateRankingInstallsClickthroughs
January 2023594/6652 (0%)11
December 2022640/8054 (0%)17
November 2022730/8082 (0%)14
October 2022614/8116 (0%)17
September 2022616/8126 (0%)16
August 2022751/8081 (0%)7
July 2022795/8161 (0%)7
June 2022579/8107 (0%)5
May 2022609/8107 (0%)16
April 2022668/8174 (0%)15
March 2022555/82011 (0%)17
February 2022538/81910 (0%)8
View Data for all Listings
Errors

Unsuccessful Installs in the last 7 Days: 0

Download last 500 errors (CSV)
External Install Button

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
Wednesday, January 25, 2023 - 16:30

Reviews Sign in to post reviews

spinkrqn's picture

thanks for all

Submitted by Sandra Pink on Fri, 2018-06-08 05:26

thanks for all

Markets

  • Eclipse Project (4)
  • Tools (1342)
    • Application Development Frameworks (171)
    • Application Management (32)
    • Application Server (31)
    • BIRT (10)
    • Build and Deploy (104)
    • Business Intelligence, Reporting and Charting (14)
    • Code Management (117)
    • Collaboration (37)
    • Database (44)
    • Database Development (34)
    • Database Persistence (17)
    • Documentation (60)
    • Eclipse Kura (122)
    • Eclipse SmartHome (46)
    • EclipseRT Target Platform Components (10)
    • Editor (339)
    • Entertainment (14)
    • General Purpose Tools (124)
    • Graphics (34)
    • IDE (344)
    • Internet of Things (IoT) (35)
    • J2EE Development Platform (44)
    • J2ME (5)
    • Languages (155)
    • Linux Tools (19)
    • Logging (22)
    • Mobile and Device Development (49)
    • Modeling (90)
    • Modeling Tools (146)
    • Mylyn Connectors (20)
    • Network (14)
    • Other (74)
    • Process (18)
    • Profiling (22)
    • Programming Languages (100)
    • Reporting (32)
    • Rich Client Applications (39)
    • Science (4)
    • SCM (20)
    • Search (42)
    • SOA Development (15)
    • Source Code Analyzer (99)
    • Systems Development (59)
    • Team Development (54)
    • Testing (90)
    • Tools (568)
    • UI (97)
    • UML (40)
    • Web (90)
    • Web Services (31)
    • Web, XML, Java EE and OSGi Enterprise Development (32)
    • XML (29)
  • IoT (172)
    • Eclipse Kura (122)
    • Eclipse SmartHome (46)
  • RCP Applications (79)
  • Training & Consulting (53)
  • Long Term Support (11)

Search

Advanced Search

More like this

  • Actifsource- Model-Driven Development and Software Configuration Tool
  • Eclipse Xtext
  • Telosys code generator for Java, JavaScript, Python, NodeJS, PHP, C#, JavaEE, Spring, JAX-RS, VueJS, Angular, JPA, etc
  • Context Mapper
  • g9 Modeling Tools

Favorited by

Eclipse Foundation

  • About Us
  • Contact Us
  • Sponsor
  • Members
  • Governance
  • Code of Conduct
  • Logo and Artwork
  • Board of Directors
  • Careers

Legal

  • Publishing Guidelines
  • Privacy Policy
  • Terms of Use
  • Copyright Agent
  • Eclipse Public License
  • Legal Resources

Useful Links

  • Welcome to Marketplace
  • Report a Bug
  • Documentation
  • How to Contribute
  • Mailing Lists
  • Forums
  • Marketplace

Other

  • IDE and Tools
  • Projects
  • Working Groups
  • Research@Eclipse
  • Report a Vulnerability
  • Service Status

Copyright © Eclipse Foundation. All Rights Reserved.

Back to the top