Login / Signup
Hind Rakkay
Publication Activity (10 Years)
Years Active: 2006-2009
Publications (10 Years): 0
</>
Publications
</>
Hind Rakkay
,
Hanifa Boucheneb
Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools.
Trans. Comput. Sci.
4 (2009)
Hind Rakkay
,
Hanifa Boucheneb
,
Olivier H. Roux
Time Arc Petri Nets and Their Analysis.
ACSD
(2009)
Hanifa Boucheneb
,
Hind Rakkay
A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties.
Fundam. Informaticae
88 (4) (2008)
Hanifa Boucheneb
,
Hind Rakkay
A more efficient time Petri net state space abstraction preserving linear properties.
ACSD
(2007)
Hind Rakkay
,
Hanifa Boucheneb
Timed secure colored Petri net based analysis of information flow.
Ann. des Télécommunications
61 (11-12) (2006)