{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:39:59Z","timestamp":1764783599817,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642547911"},{"type":"electronic","value":"9783642547928"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54792-8_16","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T13:35:12Z","timestamp":1395408912000},"page":"285-305","source":"Crossref","is-referenced-by-count":62,"title":["Time-Dependent Analysis of Attacks"],"prefix":"10.1007","author":[{"given":"Florian","family":"Arnold","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reza","family":"Pulungan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"11","key":"16_CR1","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/2366316.2366324","volume":"55","author":"D.A. Basin","year":"2012","unstructured":"Basin, D.A., Capkun, S.: The research value of publishing attacks. Commun. ACM\u00a055(11), 22\u201324 (2012)","journal-title":"Commun. ACM"},{"issue":"11","key":"16_CR2","first-page":"135","volume":"2","author":"B. K\u00f6pf","year":"2013","unstructured":"K\u00f6pf, B., Malacaria, P., Palamidessi, C.: Quantitative Security Analysis (Dagstuhl Seminar 12481). Dagstuhl Reports\u00a02(11), 135\u2013154 (2013)","journal-title":"Dagstuhl Reports"},{"key":"16_CR3","unstructured":"Schneier, B.: Attack trees: Modeling security threats. Dr. Dobb\u2019s Journal\u00a024(12) (December 1999)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1007\/978-3-540-88873-4_8","volume-title":"On the Move to Meaningful Internet Systems: OTM 2008","author":"A. J\u00fcrgenson","year":"2008","unstructured":"J\u00fcrgenson, A., Willemson, J.: Computing exact outcomes of multi-parameter attack trees. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part II. LNCS, vol.\u00a05332, pp. 1036\u20131051. Springer, Heidelberg (2008)"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-642-25261-7_8","volume-title":"Security and Intelligent Information Systems","author":"B. Kordy","year":"2012","unstructured":"Kordy, B., Pouly, M., Schweitzer, P.: Computational aspects of attack\u2013defense trees. In: Bouvry, P., K\u0142opotek, M.A., Lepr\u00e9vost, F., Marciniak, M., Mykowiecka, A., Rybi\u0144ski, H. (eds.) SIIS 2011. LNCS, vol.\u00a07053, pp. 103\u2013116. Springer, Heidelberg (2012)"},{"issue":"8","key":"16_CR6","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1002\/sec.299","volume":"5","author":"A. Roy","year":"2012","unstructured":"Roy, A., Kim, D., Trivedi, K.: Attack countermeasure trees (act): towards unifying the constructs of attack and defense trees. Sec. and Commun. Netw.\u00a05(8), 929\u2013943 (2012)","journal-title":"Sec. and Commun. Netw."},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Zonouz, S., Khurana, H., Sanders, W., Yardley, T.: Rre: A game-theoretic intrusion response and recovery engine. In: IEEE\/IFIP International Conference on Dependable Systems Networks, DSN 2009, pp. 439\u2013448 (July 2009)","DOI":"10.1109\/DSN.2009.5270307"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/11555827_14","volume-title":"Computer Security \u2013 ESORICS 2005","author":"I. Ray","year":"2005","unstructured":"Ray, I., Poolsapassit, N.: Using attack trees to identify malicious attacks from authorized insiders. In: de Capitani di Vimercati, S., Syverson, P.F., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol.\u00a03679, pp. 231\u2013246. Springer, Heidelberg (2005)"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-46029-2_5","volume-title":"Computer Performance Evaluation","author":"A. Horv\u00e1th","year":"2002","unstructured":"Horv\u00e1th, A., Telek, M.: PhFit: A general phase-type fitting tool. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 82\u201391. Springer, Heidelberg (2002)"},{"issue":"3","key":"16_CR10","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1109\/TDSC.2006.27","volume":"3","author":"A. Th\u00fcmmler","year":"2006","unstructured":"Th\u00fcmmler, A., Buchholz, P., Telek, M.: A novel approach for phase-type fitting with the EM algorithm. IEEE Trans. Dependable Sec. Comput.\u00a03(3), 245\u2013258 (2006)","journal-title":"IEEE Trans. Dependable Sec. Comput."},{"key":"16_CR11","unstructured":"Weiss, J.: A system security engineering process. In: Proceedings of the 14th National Computer Security Conference, pp. 572\u2013581 (1991)"},{"key":"16_CR12","volume-title":"Fundamentals of computer security technology","author":"E. Amoroso","year":"1994","unstructured":"Amoroso, E.: Fundamentals of computer security technology. Prentice-Hall, Inc., Upper Saddle River (1994)"},{"key":"16_CR13","unstructured":"Kordy, B., Pietre-Cambacedes, L., Schweitzer, P.: DAG-based attack and defense modeling: Don\u2019t miss the forest for the attack trees. CoRR abs\/1303.7397 (2013)"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/11734727_17","volume-title":"Information Security and Cryptology - ICISC 2005","author":"S. Mauw","year":"2006","unstructured":"Mauw, S., Oostdijk, M.: Foundations of attack trees. In: Won, D.H., Kim, S. (eds.) ICISC 2005. LNCS, vol.\u00a03935, pp. 186\u2013198. Springer, Heidelberg (2006)"},{"issue":"2","key":"16_CR15","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.entcs.2007.12.021","volume":"197","author":"S. Bistarelli","year":"2008","unstructured":"Bistarelli, S., Peretti, P., Trubitsyna, I.: Analyzing security scenarios using defence trees and answer set programming. Electron. Notes Theor. Comput. Sci.\u00a0197(2), 121\u2013129 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-642-19751-2_6","volume-title":"Formal Aspects of Security and Trust","author":"B. Kordy","year":"2011","unstructured":"Kordy, B., Mauw, S., Radomirovi\u0107, S., Schweitzer, P.: Foundations of attack\u2013defense trees. In: Degano, P., Etalle, S., Guttman, J. (eds.) FAST 2010. LNCS, vol.\u00a06561, pp. 80\u201395. Springer, Heidelberg (2011)"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Sheyner, O., Haines, J., Jha, S., Lippmann, R., Wing, J.: Automated generation and analysis of attack graphs. In: Proceedings of the IEEE Symposium on Security and Privacy, pp. 273\u2013284 (2002)","DOI":"10.1109\/SECPRI.2002.1004377"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"McQueen, M., Boyer, W., Flynn, M., Beitel, G.: Quantitative cyber risk reduction estimation methodology for a small SCADA control system. In: Proceedings of the 39th Annual Hawaii International Conference on System Sciences, HICSS 2006, vol.\u00a09, pp. 226 (2006)","DOI":"10.1109\/HICSS.2006.405"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"LeMay, E., Ford, M.D., Keefe, K., Sanders, W.H., Muehrcke, C.: Model-based security metrics using adversary view security evaluation (advise). In: Proceedings of the 2011 Eighth International Conference on Quantitative Evaluation of SysTems, QEST 2011, pp. 191\u2013200. IEEE Computer Society (2011)","DOI":"10.1109\/QEST.2011.34"},{"key":"16_CR20","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/366173.366183","volume-title":"Proceedings of the 2000 Workshop on New Security Paradigms, NSPW 2000","author":"J. McDermott","year":"2000","unstructured":"McDermott, J.: Attack net penetration testing. In: Proceedings of the 2000 Workshop on New Security Paradigms, NSPW 2000, pp. 15\u201321. ACM, New York (2000)"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Pi\u00e8tre-Cambac\u00e9d\u00e8s, L., Bouissou, M.: Beyond attack trees: Dynamic security modeling with boolean logic driven Markov processes (BDMP). In: European Dependable Computing Conference (EDCC), pp. 199\u2013208 (April 2010)","DOI":"10.1109\/EDCC.2010.32"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-642-14706-7_7","volume-title":"Computer Network Security","author":"L. Pi\u00e8tre-Cambac\u00e9d\u00e8s","year":"2010","unstructured":"Pi\u00e8tre-Cambac\u00e9d\u00e8s, L., Bouissou, M.: Attack and defense modeling with BDMP. In: Kotenko, I., Skormin, V. (eds.) MMM-ACNS 2010. LNCS, vol.\u00a06258, pp. 86\u2013101. Springer, Heidelberg (2010)"},{"key":"16_CR23","unstructured":"Johnson, M.A., Taaffe, M.R.: The denseness of phase distributions. School of Industrial Engineering Research Memoranda 88-20, Purdue University (1988)"},{"issue":"4","key":"16_CR24","first-page":"419","volume":"23","author":"S. Asmussen","year":"1996","unstructured":"Asmussen, S., Nerman, O., Olsson, M.: Fitting phase-type distributions via the EM algorithm. Scandinavian Journal of Statistics\u00a023(4), 419\u2013441 (1996)","journal-title":"Scandinavian Journal of Statistics"},{"key":"16_CR25","unstructured":"Neuts, M.F.: Matrix-Geometric Solutions in Stochastic Models: An Algorithmic Approach. Dover (1981)"},{"issue":"2","key":"16_CR26","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1080\/15326340600649045","volume":"2","author":"Q.M. He","year":"2006","unstructured":"He, Q.M., Zhang, H.: Spectral polynomial algorithms for computing bi-diagonal representations for phase type distributions and matrix-exponential distributions. Stochastic Models\u00a02(2), 289\u2013317 (2006)","journal-title":"Stochastic Models"},{"issue":"2","key":"16_CR27","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1017\/S0305004100030231","volume":"51","author":"D.R. Cox","year":"1955","unstructured":"Cox, D.R.: A use of complex probabilities in the theory of stochastic processes. Proceedings of the Cambridge Philosophical Society\u00a051(2), 313\u2013319 (1955)","journal-title":"Proceedings of the Cambridge Philosophical Society"},{"issue":"3","key":"16_CR28","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/0026-2714(82)90033-6","volume":"2","author":"A. Cumani","year":"1982","unstructured":"Cumani, A.: Canonical representation of homogeneous Markov processes modelling failure time distributions. Microelectronics and Reliability\u00a02(3), 583\u2013602 (1982)","journal-title":"Microelectronics and Reliability"},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"Pulungan, R., Hermanns, H.: Acyclic minimality by construction\u2014almost. In: QEST, pp. 63\u201372. IEEE Computer Society (2009)","DOI":"10.1109\/QEST.2009.45"},{"key":"16_CR30","doi-asserted-by":"publisher","first-page":"59","DOI":"10.2307\/3215235","volume":"31","author":"P. Buchholz","year":"1994","unstructured":"Buchholz, P.: Exact and ordinary lumpability in finite Markov chains. Journal of Applied Probability\u00a031, 59\u201375 (1994)","journal-title":"Journal of Applied Probability"},{"issue":"4","key":"16_CR31","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1109\/32.588541","volume":"23","author":"E. Jonsson","year":"1997","unstructured":"Jonsson, E., Olovsson, T.: A quantitative model of the security intrusion process based on attacker behavior. IEEE Transactions on Software Engineering\u00a023(4), 235\u2013245 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"16_CR32","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/0305-0548(88)90026-3","volume":"15","author":"A.L. Reibman","year":"1988","unstructured":"Reibman, A.L., Trivedi, K.S.: Numerical transient analysis of Markov models. Computers & OR\u00a015(1), 19\u201336 (1988)","journal-title":"Computers & OR"},{"issue":"4","key":"16_CR33","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1145\/42404.42409","volume":"31","author":"B.L. Fox","year":"1988","unstructured":"Fox, B.L., Glynn, P.W.: Computing poisson probabilities. Commun. ACM\u00a031(4), 440\u2013445 (1988)","journal-title":"Commun. ACM"},{"issue":"2","key":"16_CR34","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/s10009-004-0140-2","volume":"6","author":"M.Z. Kwiatkowska","year":"2004","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: Probabilistic symbolic model checking with prism: a hybrid approach. STTT\u00a06(2), 128\u2013142 (2004)","journal-title":"STTT"},{"issue":"2","key":"16_CR35","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1016\/j.peva.2010.04.001","volume":"68","author":"J.P. Katoen","year":"2011","unstructured":"Katoen, J.P., Zapreev, I.S., Hahn, E.M., Hermanns, H., Jansen, D.N.: The ins and outs of the probabilistic model checker mrmc. Perform. Eval.\u00a068(2), 90\u2013104 (2011)","journal-title":"Perform. Eval."},{"key":"16_CR36","doi-asserted-by":"crossref","unstructured":"Kriaa, S., Bouissou, M., Pi\u00e8tre-Cambac\u00e9d\u00e8s, L.: Modeling the stuxnet attack with BDMP: Towards more formal risk assessments. In: 7th International Conference on Risk and Security of Internet and Systems (CRiSIS), pp. 1\u20138 (October 2012)","DOI":"10.1109\/CRISIS.2012.6378942"},{"key":"16_CR37","unstructured":"The TREsPASS project: http:\/\/www.trespass-project.eu"}],"container-title":["Lecture Notes in Computer Science","Principles of Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54792-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T03:47:08Z","timestamp":1746157628000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54792-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642547911","9783642547928"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54792-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}