Modelling, verification, and formal analysis of security properties in a P2P system.
Sam B. SanjabiFranck PommereauPublished in: CTS (2010)
Keyphrases
- formal analysis
- security properties
- formal methods
- peer to peer
- model checking
- formal model
- knowledge based systems
- security analysis
- security requirements
- artificial intelligence
- cryptographic protocols
- formal specification
- diffie hellman
- security protocols
- ban logic
- agent model
- life cycle
- software engineering
- databases
- knowledge acquisition
- case study