共 50 条
- [31] Hazard analysis for security protocol requirements ADVANCES IN NETWORK AND DISTRIBUTED SYSTEMS SECURITY, 2001, 78 : 75 - 92
- [32] The Hazard Analysis Profile: Linking Safety Analysis and SysML 2016 ANNUAL IEEE SYSTEMS CONFERENCE (SYSCON), 2016, : 123 - 129
- [33] Comparing Risk Identification in Hazard Analysis and Threat Analysis COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2018, 2018, 11094 : 265 - 277
- [37] Hypercollecting semantics and its application to static analysis of information flow 1600, Association for Computing Machinery (52): : 874 - 887