共 25 条
[1]
Bouillant A, 2018, NAT PHYS, V14, P1188, DOI 10.1038/s41567-018-0275-9
[8]
A Hybrid Monitoring of Software Design-Level Security Specifications
[J].
2014 14TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2014),
2014,
:111-116