Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System.
HariGovind V. RamasamyMichel CukierWilliam H. SandersPublished in: PRDC (2002)
Keyphrases
- group membership
- formal specification
- protocol specification
- model checker
- model checking
- concurrent systems
- formal methods
- specification languages
- specification language
- formal verification
- process algebra
- object oriented design
- communication protocols
- temporal logic
- reverse engineering
- software components
- record linkage
- end users
- grid workflow
- artificial intelligence
- high level