{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T04:04:00Z","timestamp":1746158640757,"version":"3.40.4"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319039633"},{"type":"electronic","value":"9783319039640"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03964-0_15","type":"book-chapter","created":{"date-parts":[[2013,12,17]],"date-time":"2013-12-17T02:34:56Z","timestamp":1387247696000},"page":"167-178","source":"Crossref","is-referenced-by-count":0,"title":["Bridging Dolev-Yao Adversaries and Control Systems with Time-Sensitive Channels"],"prefix":"10.1007","author":[{"given":"Bogdan","family":"Groza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Minea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"15_CR1","doi-asserted-by":"publisher","first-page":"1091","DOI":"10.1016\/j.adhoc.2012.12.001","volume":"11","author":"C. Alcaraz","year":"2013","unstructured":"Alcaraz, C., Roman, R., Najera, P., Lopez, J.: Security of industrial sensor network-based remote substations in the context of the internet of things. Ad Hoc Networks\u00a011(3), 1091\u20131104 (2013)","journal-title":"Ad Hoc Networks"},{"issue":"1871","key":"15_CR2","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1098\/rspa.1989.0125","volume":"426","author":"M. Burrows","year":"1989","unstructured":"Burrows, M., Abadi, M., Needham, R.: A logic of authentication. Proc. Royal Society of London. Series A, Mathematical and Physical Sciences\u00a0426(1871), 233\u2013271 (1989)","journal-title":"Proc. Royal Society of London. Series A, Mathematical and Physical Sciences"},{"key":"15_CR3","unstructured":"C\u00e1rdenas, A.A., Amin, S., Sastry, S.: Research challenges for the security of control systems. In: Proc. of the 3rd Conference on Hot Topics in Security, pp. 1\u20136. USENIX (2008)"},{"issue":"1","key":"15_CR4","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/TII.2010.2099233","volume":"7","author":"M. Cheminod","year":"2011","unstructured":"Cheminod, M., Pironti, A., Sisto, R.: Formal vulnerability analysis of a security system for remote fieldbus access. IEEE Transactions on Industrial Informatics\u00a07(1), 30\u201340 (2011)","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-540-24730-2_27","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Delzanno","year":"2004","unstructured":"Delzanno, G., Ganty, P.: Automatic verification of time sensitive cryptographic protocols. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 342\u2013356. Springer, Heidelberg (2004)"},{"key":"15_CR6","series-title":"IFIP","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-0-387-75462-8_15","volume-title":"Critical Infrastructure Protection","author":"J. Edmonds","year":"2007","unstructured":"Edmonds, J., Papa, M., Shenoi, S.: Security analysis of multilayer SCADA protocols. In: Goetz, A.D.E., Shenoi, S. (eds.) Critical Infrastructure Protection. IFIP, vol.\u00a0253, pp. 205\u2013221. Springer, Boston (2007)"},{"issue":"5","key":"15_CR7","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1109\/TAC.2007.895849","volume":"52","author":"A. Girard","year":"2007","unstructured":"Girard, A., Pappas, G.: Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control\u00a052(5), 782\u2013798 (2007)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"5","key":"15_CR8","doi-asserted-by":"publisher","first-page":"568","DOI":"10.3166\/ejc.17.568-578","volume":"17","author":"A. Girard","year":"2011","unstructured":"Girard, A., Pappas, G.: Approximate bisimulation: A bridge between computer science and control theory. European Journal of Control\u00a017(5), 568 (2011)","journal-title":"European Journal of Control"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Lowe, G.: Casper: A compiler for the analysis of security protocols. In: 10th Computer Security Foundations Workshop, pp. 18\u201330. IEEE (1997)","DOI":"10.1109\/CSFW.1997.596779"},{"issue":"12","key":"15_CR10","doi-asserted-by":"publisher","first-page":"2035","DOI":"10.1016\/j.automatica.2003.07.003","volume":"39","author":"G. Pappas","year":"2003","unstructured":"Pappas, G.: Bisimilar linear systems. Automatica\u00a039(12), 2035\u20132047 (2003)","journal-title":"Automatica"},{"key":"15_CR11","unstructured":"Roberts, M.: Fundamentals of signals and systems. McGraw-Hill (2007)"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Syverson, P.: A taxonomy of replay attacks. In: 7th Computer Security Foundations Workshop, pp. 187\u2013191. IEEE (1994)","DOI":"10.21236\/ADA463948"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Tazaki, Y., Imura, J.: Discrete-state abstractions of nonlinear systems using multi-resolution quantizer. Hybrid Systems: Computation and Control, 351\u2013365 (2009)","DOI":"10.1007\/978-3-642-00602-9_25"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Teixeira, A., P\u00e9rez, D., Sandberg, H., Johansson, K.H.: Attack models and scenarios for networked control systems. In: Proc. of the 1st Conference on High Confidence Networked Systems, HiCoNS 2012, pp. 55\u201364. ACM (2012)","DOI":"10.1145\/2185505.2185515"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/11805618_21","volume-title":"Term Rewriting and Applications","author":"M. Turuani","year":"2006","unstructured":"Turuani, M.: The CL-Atse protocol analyser. In: Pfenning, F. (ed.) RTA 2006. LNCS, vol.\u00a04098, pp. 277\u2013286. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Critical Information Infrastructures Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03964-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T06:09:00Z","timestamp":1746079740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03964-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319039633","9783319039640"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03964-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}