An Eclipse IDE that integrates AnB/AnBx modelling, OFMC/ProVerif verification, and Java code generation is evaluated through student surveys and benchmarks, with positive but self-reported results.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
An Eclipse IDE that integrates AnB/AnBx modelling, OFMC/ProVerif verification, and Java code generation is evaluated through student surveys and benchmarks, with positive but self-reported results.