A Policy Checker Approach for Secure Industrial SDN.
Andrea MelisDavide BerardiChiara ContoliFranco CallegatiFlavio EspositoMarco PrandiniPublished in: CSNet (2018)
Keyphrases
- optimal policy
- industrial applications
- covert channel
- industrial environment
- quality improvement
- security protocols
- security requirements
- asymptotically optimal
- security analysis
- security mechanisms
- multi party
- security issues
- decision making
- formal specification
- markov decision processes
- cryptographic protocols
- technology transfer
- security measures
- key exchange
- rbac model
- access control
- information technology