Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
2 results
|
|
sorted by
|
|
Towards a Logical Framework for Reasoning about RiskInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.609-623, ⟨10.1007/978-3-642-32498-7_46⟩
Conference papers
hal-01542424v1
|
||
|
Formalizing Threat Models for Virtualized Systems30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2016, Trento, Italy. pp.251-267, ⟨10.1007/978-3-319-41483-6_18⟩
Conference papers
hal-01633687v1
|