Secure BACnet Device Communication and Verification for MS/TP Networks.
Tsion YimerOtily ToutsopKevin T. KornegayPublished in: AIIoT (2024)
Keyphrases
- computer networks
- high bandwidth
- social networks
- secure communication
- communication cost
- multi party
- integrity verification
- complex networks
- group communication
- cryptographic protocols
- model checking
- information sharing
- data acquisition
- packet switched
- cellular networks
- resource constrained
- communication systems
- formal verification
- wireless technologies
- heterogeneous networks
- network nodes
- communication networks
- high security
- privacy preserving
- neural network