Security Analysis of Trust on the Controller in the Matter Protocol Specification.

Shashwat Kumar Francis Hahn Xinming Ou Anoop Singhal

Published in: CNS (2023)

Keyphrases

security analysis
protocol specification
smart card
communication protocols
public key
security requirements
formal specification
encryption scheme
real time
user authentication
authentication protocol
fine grained
intrusion detection
formal methods
secret key
computer systems
access control
query processing