Formal Specification and Verification of the Intrusion-Tolerant Enclaves Protocol.
Mohamed LayouniJozef HoomanSofiène TaharPublished in: Int. J. Netw. Secur. (2007)
Keyphrases
- formal specification
- protocol specification
- model checker
- model checking
- concurrent systems
- formal methods
- specification languages
- specification language
- software aging
- temporal logic
- object oriented design
- process algebra
- application server
- formal verification
- reverse engineering
- communication protocols
- software components
- expert systems