共 50 条
- [31] Security by design: Hardware-based Security in Windows 8 Souren, J., 1600, Elsevier Ltd (2013):
- [35] Formal modeling and security analysis method of security protocol based on CPN Tongxin Xuebao/Journal on Communications, 2021, 42 (09): : 240 - 253
- [38] Software Security Modeling Based On Petri Nets JOURNAL OF MATHEMATICS AND COMPUTER SCIENCE-JMCS, 2015, 15 (01): : 70 - 77
- [39] Military Information Security Based on Modeling and Simulation INTERNATIONAL SYMPOSIUM ON SIGNAL PROCESSING BIOMEDICAL ENGINEERING, AND INFORMATICS (SPBEI 2013), 2014, : 260 - 267
- [40] Vehicle Active Security Based on Driver Modeling 2015 27TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2015, : 5016 - 5019