An Interactive Prover for Protocol Verification in the Computational Model.
David BaeldeStéphanie DelauneCharlie JacommeAdrien KoutsosSolène MoreauPublished in: IEEE Symposium on Security and Privacy (2021)
Keyphrases
- computational model
- cryptographic protocols
- computational models
- protocol specification
- formal analysis
- computational framework
- model checker
- lightweight
- cognitive architecture
- model checking
- cognitive modeling
- formal proof
- language acquisition
- working memory
- formal verification
- computational modeling
- colored petri nets
- theorem proving
- artificial intelligence
- security protocols
- user interaction
- theorem prover
- security analysis
- short term memory
- communication protocols
- authentication protocol
- collaborative learning