AnBx IDE User Manual - An Integrated Development Environment for the Design, Verification and Implementation of Security Protocols
Fields of Study & Subjects
Advanced Authentication Protocols Security
Formal Methods in Verification
Logic
programming
and type systems
Publication details
- Publication date
- 1 January 2026
- Language
- EN