Formal Anaylsis of Some Timed Security Properties in Wireless Protocols.
Roberto GorrieriFabio MartinelliMarinella PetrocchiAnna VaccarelliPublished in: FMOODS (2003)
Keyphrases
- security properties
- formal model
- formal methods
- security protocols
- cryptographic protocols
- security requirements
- security analysis
- wireless networks
- diffie hellman
- security vulnerabilities
- low cost
- formal specification
- data sharing
- network traffic
- wireless mesh networks
- information sharing
- cost effective
- computer systems
- artificial intelligence