Book Sections
Year : 2007
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03197309
Submitted on : Tuesday, April 13, 2021-4:40:48 PM
Last modification on : Wednesday, November 29, 2023-3:28:04 PM
Cite
Elie Bursztein, Jean Goubault-Larrecq. A Logical Framework for Evaluating Network Resilience Against Faults and Attacks. Advances in Computer Science – ASIAN 2007. Computer and Network Security, 4846, Springer Berlin Heidelberg, pp.212-227, 2007, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-76929-3_20⟩. ⟨hal-03197309⟩
Collections
9
View
0
Download