Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification.
Stefanos GritzalisDiomidis SpinellisPanagiotis GeorgiadisPublished in: Comput. Commun. (1999)
Keyphrases
- formal methods
- distributed systems
- formal analysis
- security properties
- concurrent systems
- fault tolerant
- model checking
- software architecture
- formal specification
- knowledge based systems
- security protocols
- fault tolerance
- distributed environment
- artificial intelligence
- high assurance
- automated design
- development lifecycle
- mobile agents
- operating system
- case study
- wireless networks
- design process
- access control
- expert systems