Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling

Authors :: Radhouani, Amira
Idani, Akram
Ledru, Yves
Ben Rajeb, Narjes
Laboratoire d'Informatique de Grenoble (LIG)
Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)
Laboratoire d'Informatique, de Parallélisme et de Productique (LIP2)
Faculté des Sciences Mathématiques, Physiques et Naturelles de Tunis (FST)
Université de Tunis El Manar (UTM)-Université de Tunis El Manar (UTM)
Source :: LNCS Transactions on Petri Nets and Other Models of Concurrency, LNCS Transactions on Petri Nets and Other Models of Concurrency, Springer, 2015, 10, pp.131-152
Publication Year :: 2015
Publisher :: HAL CCSD, 2015.
Abstract: International audience

Subjects :: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
ComputingMilieux_MISCELLANEOUS

Language :: English
ISSN :: 18677193
Database :: OpenAIRE
Journal :: LNCS Transactions on Petri Nets and Other Models of Concurrency, LNCS Transactions on Petri Nets and Other Models of Concurrency, Springer, 2015, 10, pp.131-152
Accession number :: edsair.dedup.wf.001..e93ee1b18599d60da080b660daff9171

Tools