Amira Radhouani, Akram Idani, Yves Ledru. Extraction of Insider Attack Scenarios for a Formal Information System Modeling. In Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference, Véronique Cortier, Riadh Robbana (eds.), Volume 1158, Pages 5-19, 2014.
Amira Radhouani
Akram Idani
Yves Ledru
@InProceedings{VASCOFMS14,
Author = {Radhouani, Amira and Idani, Akram and Ledru, Yves},
Title = {{E}xtraction of {I}nsider {A}ttack {S}cenarios for a {F}ormal {I}nformation {S}ystem {M}odeling},
BookTitle = {{P}roceedings of the {F}ormal {M}ethods for {S}ecurity {W}orkshop co-located with the {P}etri{N}ets-2014 {C}onference},
editor = {Cortier, Véronique and Robbana, Riadh},
Volume = {1158},
Pages = {5--19},
Publisher = {CEUR Workshop},
Year = {2014}
}
Get EndNote Reference (.ref)