共 21 条
[1]
[Anonymous], 2014, ADV INFORM SECURITY
[3]
Bringas P. Garcia, 2007, 18 INT C DAT EXP SYS
[4]
Aggregating CVSS Base Scores for Semantics-Rich Network Security Metrics
[J].
2012 31ST INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2012),
2012,
:31-40
[5]
Model Checking the Information Flow Security of Real-Time Systems
[J].
ENGINEERING SECURE SOFTWARE AND SYSTEMS, ESSOS 2018,
2018, 10953
:27-43
[6]
Johnstone M. N., 2010, P 8 AUSTR INFORM SEC
[8]
Jonsson E., 2011, TECHNICAL REPORT
[9]
Julisch K., 2009, TECHNICAL REPORT
[10]
LeMay E., 2011, TECHNICAL REPORT