A Lightweight Formal Approach for Analyzing Security of Web Protocols.
Apurva KumarPublished in: RAID (2014)
Keyphrases
- lightweight
- authentication protocol
- mashup
- website
- rfid tags
- dos attacks
- security properties
- security protocols
- key agreement protocol
- web pages
- formal model
- semantic web
- web applications
- information security
- wireless sensor networks
- cryptographic protocols
- intrusion detection
- key distribution
- smart card
- communication protocols
- network security
- key establishment
- social networks
- key exchange
- key management
- web resources
- security analysis
- security mechanisms
- security services
- security policies
- service oriented architecture
- secure multiparty computation