Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling - Archive ouverte HAL Access content directly
Journal Articles LNCS Transactions on Petri Nets and Other Models of Concurrency Year : 2015

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

Not file

Dates and versions

hal-01420652 , version 1 (20-12-2016)

Identifiers

  • HAL Id : hal-01420652 , version 1

Cite

Amira Radhouani, Akram Idani, Yves Ledru, Narjes Ben Rajeb. Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling. LNCS Transactions on Petri Nets and Other Models of Concurrency, 2015, 10, pp.131-152. ⟨hal-01420652⟩
36 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More