Formal security assessment of Modbus protocol.
Roberto NardoneRicardo J. RodríguezStefano MarronePublished in: ICITST (2016)
Keyphrases
- formal analysis
- ban logic
- cryptographic protocols
- security protocols
- key agreement protocol
- security properties
- rfid systems
- key exchange protocol
- authentication protocol
- risk assessment
- security analysis
- communication protocols
- elliptic curve
- security model
- denial of service attacks
- security requirements
- formal methods
- security services
- mobile agent system
- secure multiparty computation
- protocol specification
- key agreement
- intrusion detection
- information security
- formal model
- key management
- lightweight
- mobile payment
- cryptographic algorithms
- mutual authentication
- key distribution
- messages exchanged
- electronic voting
- access control
- secure routing
- trusted third party
- trust negotiation
- application layer
- network security
- provably secure
- key establishment
- physical layer
- diffie hellman
- homomorphic encryption
- security mechanisms
- scalar product
- secret key
- statistical databases