Journal Articles
LNCS Transactions on Petri Nets and Other Models of Concurrency
Year : 2015
Yves Ledru : Connect in order to contact the contributor
https://hal.science/hal-01420652
Submitted on : Tuesday, December 20, 2016-7:03:43 PM
Last modification on : Friday, March 24, 2023-2:53:03 PM
Dates and versions
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⟩
Collections
36
View
0
Download