共 50 条
- [1] Automated Game-Theoretic Verification of Security Systems QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2019), 2019, 11785 : 239 - 256
- [6] Adaptive Risk-Limiting Comparison Audits 2023 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, SP, 2023, : 3314 - 3331
- [7] Security in Networks: A Game-Theoretic Approach 47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 829 - 834
- [8] On Game-Theoretic Network Security Provisioning Journal of Network and Systems Management, 2013, 21 : 47 - 64