共 50 条
- [33] The logic of exceptions and security logic in the international law of detention DEVIANCE ET SOCIETE, 2016, 40 (04): : 391 - 409
- [34] A Probabilistic Logic for Concrete Security 2024 IEEE 37TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, CSF 2024, 2024, : 324 - 339
- [37] A LOGIC FOR REASONING ABOUT SECURITY ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1992, 10 (03): : 226 - 264
- [38] Distributed Contingency Logic and Security ISECURE-ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2018, 10 (02): : 107 - 115
- [39] Security Analysis of Logic Obfuscation 2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 83 - 89
- [40] Security policy specification in logic IC-AI'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 1-III, 2000, : 1299 - 1304