AnBx: Automatic Generation and Verification of Security Protocols Implementations
P Modesti - Foundations and Practice of Security: 8th International …, 2016 - Springer
The AnBx compiler is a tool for automatic generation of Java implementations of security
protocols specified in a simple and abstract model that can be formally verified. In our model …
protocols specified in a simple and abstract model that can be formally verified. In our model …
Security protocol specification and verification with AnBx
Designing distributed protocols is complex and requires actions at very different levels: from
the design of an interaction flow supporting the desired application-specific guarantees to …
the design of an interaction flow supporting the desired application-specific guarantees to …
Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx
P Modesti - Security and Trust Management: 10th International …, 2014 - Springer
The implementation of security protocols is challenging and error-prone. A model-driven
development approach allows the automatic generation of an application, from a simpler …
development approach allows the automatic generation of an application, from a simpler …
Automatic Generation of Security Protocols Implementations
P Modesti - 4th Cryptoforma Workshop at CSF, 2015 - research.tees.ac.uk
The implementation of security protocols is challenging and error-prone. A model-driven
development approach allows the automatic generation of an application, from a simpler …
development approach allows the automatic generation of an application, from a simpler …