A Security Formal Model for Multiple Channels Communication.
Yulong FuXinyi YuanKe WangZheng YanHui LiPublished in: SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2019)
Keyphrases
- formal model
- security properties
- security patterns
- communication protocols
- information security
- physical layer
- network security
- communication networks
- information processing systems
- resource constrained
- secure communication
- cyber physical systems
- intrusion detection
- formal models
- security requirements
- security mechanisms
- network management
- predicate calculus
- security issues
- computer networks
- single point of failure
- information systems
- share information
- security analysis
- security policies
- information sharing
- wireless networks
- access control