HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Book sections

A Logical Framework for Evaluating Network Resilience Against Faults and Attacks

Document type :
Book sections
Complete list of metadata

https://hal.inria.fr/hal-03197309
Contributor : Jean Goubault-Larrecq Connect in order to contact the contributor
Submitted on : Tuesday, April 13, 2021 - 4:40:48 PM
Last modification on : Tuesday, December 14, 2021 - 3:53:17 AM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

8