Testing and Validation of Modbus/TCP Protocol for Secure SCADA Communication in CPS using Formal Methods.
Irfan A. SiddavatamSachin ParekhTanay ShahFaruk KaziPublished in: Scalable Comput. Pract. Exp. (2017)
Keyphrases
- formal methods
- security properties
- tcp ip
- model checker
- group communication
- key management
- formal analysis
- security protocols
- protocol specification
- key distribution
- development lifecycle
- cryptographic protocols
- secure communication
- communication protocols
- transmission control protocol
- multi party
- covert channel
- communication protocol
- resource constrained
- model checking
- authentication protocol
- process algebra
- diffie hellman
- knowledge based systems
- security analysis
- formal specification
- end to end
- artificial intelligence
- internet protocol
- communication networks
- ip networks
- software engineering
- elliptic curve
- security requirements
- wireless link
- computer networks
- security mechanisms
- security issues
- ad hoc networks
- smart card
- database systems