{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T06:10:04Z","timestamp":1774419004476,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,6]],"date-time":"2020-10-06T00:00:00Z","timestamp":1601942400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"CPER Cyber SSI"},{"name":"Institut Mines-Tlcom"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,6]]},"DOI":"10.1145\/3384941.3409590","type":"proceedings-article","created":{"date-parts":[[2020,10,6]],"date-time":"2020-10-06T16:09:33Z","timestamp":1602000573000},"page":"30-41","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["PROS2E, a Probabilistic Representation of Safety and Security Events for Diagnosis"],"prefix":"10.1145","author":[{"given":"Edwin","family":"Bourget","sequence":"first","affiliation":[{"name":"IMT Atlantique, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Cuppens","sequence":"additional","affiliation":[{"name":"IMT Atlantique, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nora","family":"Cuppens-Boulahia","sequence":"additional","affiliation":[{"name":"IMT Atlantique, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,6]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"2010 IEEE International Conference on Systems, Man and Cybernetics. 2852--2861","author":"Pi\u00e8tre-Cambac\u00e9d\u00e8s L.","unstructured":"Pi\u00e8tre-Cambac\u00e9d\u00e8s , L. , Bouissou , M. : Modeling safety and security interdependencies with bdmp (boolean logic driven Markov processes) . In: 2010 IEEE International Conference on Systems, Man and Cybernetics. 2852--2861 Pi\u00e8tre-Cambac\u00e9d\u00e8s, L., Bouissou, M.: Modeling safety and security interdependencies with bdmp (boolean logic driven Markov processes). In: 2010 IEEE International Conference on Systems, Man and Cybernetics. 2852--2861"},{"key":"e_1_3_2_1_2_1","volume-title":"Haasl","author":"Vesely W.E.","year":"1981","unstructured":"Vesely , W.E. , Goldberg , F.F. , Roberts , N.H. , Haasl , D.F. : Fault tree handbook. Report, DTIC Document ( 1981 ) Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault tree handbook. Report, DTIC Document (1981)"},{"key":"e_1_3_2_1_3_1","unstructured":"Bruce S.: Attack trees. Dr. Dobb's Journal (1999)  Bruce S.: Attack trees. Dr. Dobb's Journal (1999)"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90072-X"},{"key":"e_1_3_2_1_5_1","volume-title":"Laarouchi","author":"Bourget E.","year":"2018","unstructured":"Bourget , E. , Cuppens , F. , Cuppens-Boulahia , N. , Dubus , S. , Foley , S.N. , Laarouchi , Y. : Probabilistic event graph to model safety and security for diagnosis purposes. In : DBSec 2018 : Data and Applications Security and Privacy XXXII. 38--47 Bourget, E., Cuppens, F., Cuppens-Boulahia, N., Dubus, S., Foley, S.N., Laarouchi, Y.: Probabilistic event graph to model safety and security for diagnosis purposes. In: DBSec 2018: Data and Applications Security and Privacy XXXII. 38--47"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3264888.3264897"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2008.09.007"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2012.2221012"},{"key":"e_1_3_2_1_9_1","volume-title":"Bon, J.L.: A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes","author":"Bouissou M.","year":"2003","unstructured":"Bouissou , M. , Bon, J.L.: A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes . Volume 82 . ( 2003 ) Bouissou, M., Bon, J.L.: A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes. Volume 82. (2003)"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 2010 European Dependable Computing Conference","author":"Pi\u00e8tre-Cambac\u00e9d\u00e8s L.","unstructured":"Pi\u00e8tre-Cambac\u00e9d\u00e8s , L. , Bouissou , M. : Beyond attack trees: Dynamic security modeling with boolean logic driven markov processes (bdmp) . In: Proceedings of the 2010 European Dependable Computing Conference , 1827752, IEEE Computer Society 199--208 Pi\u00e8tre-Cambac\u00e9d\u00e8s, L., Bouissou, M.: Beyond attack trees: Dynamic security modeling with boolean logic driven markov processes (bdmp). In: Proceedings of the 2010 European Dependable Computing Conference, 1827752, IEEE Computer Society 199--208"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(96)00108-1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2003.10.013"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.02.005"},{"issue":"1","key":"e_1_3_2_1_14_1","first-page":"1","volume":"3","author":"Li B.","year":"2018","unstructured":"Li , B. , Lu , R. , Choo , K.K.R. , Wang , W. , Luo , S. : On reliability analysis of smart grids under topology attacks: A stochastic petri net approach. ACM Trans. Cyber-Phys. Syst. 3 ( 1 ) ( 2018 ) 1 -- 25 Li, B., Lu, R., Choo, K.K.R., Wang, W., Luo, S.: On reliability analysis of smart grids under topology attacks: A stochastic petri net approach. ACM Trans. Cyber-Phys. Syst. 3(1) (2018) 1--25","journal-title":"ACM Trans. Cyber-Phys. Syst."},{"key":"e_1_3_2_1_15_1","volume-title":"LAMBDA: A Language to Model a Database for Detection of Attacks","author":"Cuppens F.","year":"2000","unstructured":"Cuppens , F. , Ortalo , R . In: LAMBDA: A Language to Model a Database for Detection of Attacks . Springer Berlin Heidelberg , Berlin, Heidelberg ( 2000 ) 197--216 Cuppens, F., Ortalo, R. In: LAMBDA: A Language to Model a Database for Detection of Attacks. Springer Berlin Heidelberg, Berlin, Heidelberg (2000) 197--216"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings 2002 IEEE Symposium on Security and Privacy. 202--215","author":"Cuppens F.","unstructured":"Cuppens , F. , Miege , A. : Alert correlation in a cooperative intrusion detection framework . In: Proceedings 2002 IEEE Symposium on Security and Privacy. 202--215 Cuppens, F., Miege, A.: Alert correlation in a cooperative intrusion detection framework. In: Proceedings 2002 IEEE Symposium on Security and Privacy. 202--215"},{"key":"e_1_3_2_1_17_1","volume-title":"Benferhat","author":"Cuppens F.","unstructured":"Cuppens , F. , Autrel , F. , Miege , A. , Benferhat , S. : Recognizing malicious intention in an intrusion detection process. In : HIS. 806--817 Cuppens, F., Autrel, F., Miege, A., Benferhat, S.: Recognizing malicious intention in an intrusion detection process. In: HIS. 806--817"},{"key":"e_1_3_2_1_18_1","volume-title":"Jajodia","author":"Noel S.","year":"2004","unstructured":"Noel , S. , Robertson , E. , Jajodia , S. : Correlating Intrusion Events and Building Attack Scenarios Through Attack Graph Distances . ( 2004 ) Noel, S., Robertson, E., Jajodia, S.: Correlating Intrusion Events and Building Attack Scenarios Through Attack Graph Distances. (2004)"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/586110.586144"},{"key":"e_1_3_2_1_20_1","volume-title":"Jadliwala","author":"Braynov S.","year":"2003","unstructured":"Braynov , S. , Jadliwala , M. : Representation and analysis of coordinated attacks.In: Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 1035434, ACM ( 2003) 43--51 Braynov, S., Jadliwala, M.: Representation and analysis of coordinated attacks.In: Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 1035434, ACM (2003) 43--51"},{"key":"e_1_3_2_1_21_1","volume-title":"Bannelier","author":"Bouissou M.","year":"1991","unstructured":"Bouissou , M. , Villatte , N. , Bouhadana , H. , Bannelier , M. : Knowledge modelling and reliability processing: presentation of the figaro language and associated tools. Report, Electricite de France (EDF) (December 1991 ) Bouissou, M., Villatte, N., Bouhadana, H., Bannelier, M.: Knowledge modelling and reliability processing: presentation of the figaro language and associated tools. Report, Electricite de France (EDF) (December 1991)"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54792-8_16"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03219974"},{"key":"e_1_3_2_1_24_1","volume-title":"First International Conference on Availability, Reliability and Security (ARES'06)","author":"Bistarelli S.","unstructured":"Bistarelli , S. , Fioravanti , F. , Peretti , P. : Defense trees for economic evaluation of security investments . In: First International Conference on Availability, Reliability and Security (ARES'06) . 8 pp. Bistarelli, S., Fioravanti, F., Peretti, P.: Defense trees for economic evaluation of security investments. In: First International Conference on Availability, Reliability and Security (ARES'06). 8 pp."},{"key":"e_1_3_2_1_25_1","volume-title":"18th Annual Computer Security Applications Conference, 2002. Proceedings. (Dec 2002)","author":"Toth T.","unstructured":"Toth , T. , Kruegel , C. : Evaluating the impact of automated intrusion response mechanisms . In: 18th Annual Computer Security Applications Conference, 2002. Proceedings. (Dec 2002) 301--310 Toth, T., Kruegel, C.: Evaluating the impact of automated intrusion response mechanisms. In: 18th Annual Computer Security Applications Conference, 2002. Proceedings. (Dec 2002) 301--310"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2002-101-202"},{"key":"e_1_3_2_1_27_1","volume-title":"Martin","author":"Kanoun W.","year":"2009","unstructured":"Kanoun , W. , Cuppens-Boulahia , N. , Cuppens , F. , Dubus , S. , Martin , A. : Success likelihood of ongoing attacks for intrusion detection and response systems.In: 2009 International Conference on Computational Science and Engineering. Volume 3. (2009) 83--91 Kanoun, W., Cuppens-Boulahia, N., Cuppens, F., Dubus, S., Martin, A.: Success likelihood of ongoing attacks for intrusion detection and response systems.In: 2009 International Conference on Computational Science and Engineering. Volume 3. (2009) 83--91"},{"key":"e_1_3_2_1_28_1","volume-title":"Annual Proceedings on Reliability and Maintainability Symposium. 286--293","author":"Dugan J.B.","unstructured":"Dugan , J.B. , Bavuso , S.J. , Boyd , M.A. : Fault trees and sequence dependencies . In: Annual Proceedings on Reliability and Maintainability Symposium. 286--293 Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Fault trees and sequence dependencies. In: Annual Proceedings on Reliability and Maintainability Symposium. 286--293"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 5th USENIX conference on File and Storage Technologies, 1267904","author":"Schroeder B.","unstructured":"Schroeder , B. , Gibson , G.A. : Disk failures in the real world: what does an mttf of 1,000,000 hours mean to you? In: Proceedings of the 5th USENIX conference on File and Storage Technologies, 1267904 , USENIX Association 1 Schroeder, B., Gibson, G.A.: Disk failures in the real world: what does an mttf of 1,000,000 hours mean to you? In: Proceedings of the 5th USENIX conference on File and Storage Technologies, 1267904, USENIX Association 1"}],"event":{"name":"ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security","location":"Taipei Taiwan","acronym":"ASIA CCS '20","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 6th ACM on Cyber-Physical System Security Workshop"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3384941.3409590","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3384941.3409590","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:27Z","timestamp":1750199607000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3384941.3409590"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,6]]},"references-count":29,"alternative-id":["10.1145\/3384941.3409590","10.1145\/3384941"],"URL":"https:\/\/doi.org\/10.1145\/3384941.3409590","relation":{},"subject":[],"published":{"date-parts":[[2020,10,6]]},"assertion":[{"value":"2020-10-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}