Subject
Law,General Computer Science
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Formal Analysis of Moving Target Defense;2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC);2020-07
2. A Formal Verification of Configuration-Based Mutation Techniques for Moving Target Defense;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2020
3. An Automata Based Intrusion Detection Method for Internet of Things;Mobile Information Systems;2017
4. A Model Based Security Testing Method for Protocol Implementation;The Scientific World Journal;2014