Formal Modeling and Verification of the Security Mechanism in Smart Home Authentication
2023 3rd International Conference on Digital Society and Intelligent Systems (DSInS)（2023）
Key words
Formatting,smart home,authentication mechanism,timed automata,UPPAAL,data security
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined