Paper published in a book (Scientific congresses, symposiums and conference proceedings)
A Probabilistic Framework for Security Scenarios with Dependent Actions
Kordy, Barbara; Schweitzer, Patrick; Pouly, Marc
2014In The 11th International Conference on Integrated Formal Methods (iFM'14), Bertinoro, Italy
Peer reviewed
 

Files


Full Text
iFM14.pdf
Author preprint (543.77 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Kordy, Barbara ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Schweitzer, Patrick ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Pouly, Marc ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SnT)
External co-authors :
no
Language :
English
Title :
A Probabilistic Framework for Security Scenarios with Dependent Actions
Publication date :
2014
Event name :
The 11th International Conference on Integrated Formal Methods (iFM'14)
Event date :
from 09-09-2014 to 11-09-2014
Audience :
International
Main work title :
The 11th International Conference on Integrated Formal Methods (iFM'14), Bertinoro, Italy
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 18 March 2016

Statistics


Number of views
59 (1 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
14
Scopus citations®
without self-citations
11
WoS citations
 
11

Bibliography


Similar publications



Contact ORBilu