Stateful Protocol Composition in Isabelle/HOL.
Andreas V. HessSebastian Alexander MödersheimAchim D. BruckerPublished in: ACM Trans. Priv. Secur. (2023)
Keyphrases
- theorem prover
- natural deduction
- theorem proving
- lightweight
- inference rules
- formal methods
- first order logic
- higher order logic
- composite web services
- formal analysis
- communication protocol
- application layer
- tcp ip
- cut elimination
- communication protocols
- security analysis
- model checker
- cryptographic protocols
- key distribution
- real time
- multi party
- web service composition
- network protocols
- end to end
- higher order
- protocol specification
- wireless sensor networks