An Educational Case Study in Protocol Verification and Distributed Observation.
Claude JardThierry JéronPublished in: Comput. Sci. Educ. (2000)
Keyphrases
- case study
- lightweight
- cryptographic protocols
- formal analysis
- distributed systems
- protocol specification
- cooperative
- multi party
- group communication
- educational technology
- multimedia
- formal verification
- e learning
- educational games
- fault tolerant
- learning technologies
- distributed environment
- transaction model
- design process
- peer to peer
- model checker
- multi agent
- formal proof
- real world