VASCOFMS14

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.

Contact

Amira Radhouani
Akram Idani
Yves Ledru

Référence BibTex

@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}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)