共 50 条
- [32] On the Right of Security and Safety Fair PROCEEDINGS OF THE 2010 CHINESE SEMINAR ON THE PRINCIPLES OF SAFETY SCIENCE AND TECHNOLOGY, 2010, : 285 - 287
- [34] Security Risk Analysis by Logic Programming RISK ASSESSMENT AND RISK-DRIVEN TESTING, RISK 2013, 2014, 8418 : 38 - 48
- [35] Evaluating the Security of Logic Encryption Algorithms 2015 IEEE INTERNATIONAL SYMPOSIUM ON HARDWARE ORIENTED SECURITY AND TRUST (HOST), 2015, : 137 - 143
- [37] A security logic for abstract state machines ABSTRACT STATE MACHINES 2004: ADVANCES IN THEORY AND PRACTICE, PROCEEDINGS, 2004, 3052 : 169 - 185
- [38] SECCSL: Security Concurrent Separation Logic COMPUTER AIDED VERIFICATION, CAV 2019, PT II, 2019, 11562 : 208 - 230
- [39] A Logic for Signature based Security Protocols ICCSIT 2010 - 3RD IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY, VOL 4, 2010, : 99 - 105
- [40] Argumentation Logic to Assist in Security Administration PROCEEDINGS OF THE 2012 NEW SECURITY PARADIGMS WORKSHOP (NSPW'12), 2012, : 43 - 51