PAST: Protocol-Adaptable Security Tool for Heterogeneous IoT Ecosystems.
Antonino RulloElisa BertinoDomenico SaccàPublished in: DSC (2018)
Keyphrases
- security protocols
- security problems
- rfid systems
- cryptographic protocols
- key management
- authentication protocol
- denial of service attacks
- management system
- communication protocols
- security properties
- security model
- key exchange protocol
- key agreement protocol
- security mechanisms
- ban logic
- access control
- elliptic curve
- security analysis
- formal analysis
- security requirements
- security issues
- lightweight
- provably secure
- intrusion detection
- data security
- protocol specification
- electronic voting
- information security
- security policies
- key distribution
- secure communication
- security services
- cloud computing