Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Image document

Towards a Logical Framework for Reasoning about Risk

Matteo Cristani , Erisa Karafili , Luca Viganò
International 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
Image document

Formalizing Threat Models for Virtualized Systems

Daniele Sgandurra , Erisa Karafili , Emil Lupu
30th 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