{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T13:49:24Z","timestamp":1725716964818},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357633"},{"type":"electronic","value":"9783642357640"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35764-0_16","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T14:41:39Z","timestamp":1361198499000},"page":"217-233","source":"Crossref","is-referenced-by-count":1,"title":["Enabling the Exploration of Operating Procedures in Critical Infrastructures"],"prefix":"10.1007","author":[{"given":"Christos","family":"Siaterlis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bela","family":"Genge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Hohenadel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Del Pra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"16_CR1","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1109\/TMMS.1968.300018","volume":"9","author":"G. Bekey","year":"1968","unstructured":"G. Bekey and C. Neal, Identification of sampling intervals in sampled-data models of human operators, IEEE Transactions on Man-Machine Systems, vol. 9(4), pp. 138\u2013142, 1968.","journal-title":"IEEE Transactions on Man-Machine Systems"},{"key":"16_CR2","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-642-28920-0_10","volume-title":"Critical Infrastructure Protection","author":"E. Bompard","year":"2012","unstructured":"E. Bompard, P. Cuccia, M. Masera and I. Nai Fovino, Cyber vulnerability in power systems operation and control, in Critical Infrastructure Protection (LNCS 7130), J. Lopez, R. Setola and S. Wolthusen (Eds.), Springer-Verlag, Berlin Heidelberg, Germany, pp. 197\u2013234, 2012."},{"key":"16_CR3","volume-title":"First Workshop on Secure Control Systems","author":"R. Chabukswar","year":"2010","unstructured":"R. Chabukswar, B. Sinopoli, G. Karsai, A. Giani, H. Neema and A. Davis, Simulation of network attacks on SCADA systems, presented at the First Workshop on Secure Control Systems, 2010."},{"issue":"2","key":"16_CR4","first-page":"56","volume":"38","author":"K. Craik","year":"1947","unstructured":"K. Craik, Theory of the human operator in control systems, British Journal of Psychology, vol. 38(2), pp. 56\u201361, 1947.","journal-title":"British Journal of Psychology"},{"key":"16_CR5","first-page":"483","volume-title":"Proceedings of the Thirty-Eighth North American Power Symposium","author":"C. Davis","year":"2006","unstructured":"C. Davis, J. Tate, H. Okhravi, C. Grier, T. Overbye and D. Nicol, SCADA cyber security testbed development, Proceedings of the Thirty-Eighth North American Power Symposium, pp. 483\u2013488, 2006."},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-24864-1_12","volume-title":"Critical Infrastructure Protection V","author":"B. Genge","year":"2011","unstructured":"B. Genge, I. Nai Fovino, C. Siaterlis and M. Masera, Analyzing cyber-physical attacks on networked industrial control systems, in Critical Infrastructure Protection V, J. Butts and S. Shenoi (Eds.), Springer, Heidelberg, Germany, pp. 167\u2013183, 2011."},{"key":"16_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-4364-3","volume-title":"Critical Infrastructures at Risk: Securing the European Electric Power System","author":"A. Gheorghe","year":"2006","unstructured":"A. Gheorghe, M. Masera, M. Weijnen and L. De Vries, Critical Infrastructures at Risk: Securing the European Electric Power System, Springer, Dordrecht, The Netherlands, 2006."},{"key":"16_CR8","volume-title":"Human Operator Simulator (HOS) IV User\u2019s Guide, Research Product 89-19","author":"R. Harris","year":"1989","unstructured":"R. Harris, J. Kaplan, C. Bare, H. Iavecchia, L. Ross, D. Scolaro and D. Wright, Human Operator Simulator (HOS) IV User\u2019s Guide, Research Product 89-19, U.S. Army Research Institute for the Behavioral and Social Sciences, Alexandria, Virginia, 1989."},{"key":"16_CR9","first-page":"1158","volume-title":"Proceedings of the 2003 Winter Simulation Conference","author":"K. Hopkinson","year":"2003","unstructured":"K. Hopkinson, K. Birman, R. Giovanini, D. Coury, X. Wang and J. Thorp, EPOCHS: Integrated commercial off-the-shelf software for agent-based electric power and communication simulation, Proceedings of the 2003 Winter Simulation Conference, vol. 2, pp. 1158\u20131166, 2003.","edition":"2"},{"key":"16_CR10","volume-title":"Human operator modeling and Lie-derivative based control","author":"T. Ivancevic","year":"2009","unstructured":"T. Ivancevic and B. Jovanovic, Human operator modeling and Lie-derivative based control (\n                    \n                      arxiv.org\/pdf\/0907.1206.pdf\n                    \n                    \n                  ), 2009."},{"key":"16_CR11","unstructured":"M. McDonald, G. Conrad, T. Service and R. Cassidy, Cyber Effects Analysis Using VCSE: Promoting Control System Reliability, Technical Report SAND2008-5954, Sandia National Laboratories, Albuquerque, New Mexico and Livermore, California, 2008."},{"issue":"3","key":"16_CR12","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0953-5438(99)00014-4","volume":"12","author":"F. Moussa","year":"2000","unstructured":"F. Moussa, C. Kolski and M Riahi, A model based approach to semi-automated user interface generation for process control interactive applications, Interacting with Computers, vol. 12(3), pp. 245\u2013279, 2000.","journal-title":"Interacting with Computers"},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1109\/HSI.2010.5514494","volume-title":"Proceedings of the Third Conference on Human System Interaction","author":"I. Nai Fovino","year":"2010","unstructured":"I. Nai Fovino, M. Masera, L. Guidi and G. Carpi, An experimental platform for assessing SCADA vulnerabilities and countermeasures in power plants, Proceedings of the Third Conference on Human System Interaction, pp. 679\u2013686, 2010."},{"key":"16_CR14","first-page":"1958","volume-title":"Proceedings of the Twelfth International Conference on Information Fusion","author":"S. Neema","year":"2009","unstructured":"S. Neema, T. Bapty, X. Koutsoukos, H. Neema, J. Sztipanovits and G. Karsai, Model-based integration and experimentation of information fusion and C2 systems, Proceedings of the Twelfth International Conference on Information Fusion, pp. 1958\u20131965, 2009."},{"key":"16_CR15","unstructured":"PowerWorld Corporation, Champaign, Illinois (\n                    \n                      www.powerworld.com\n                    \n                    \n                  )."},{"key":"16_CR16","first-page":"357","volume-title":"Proceedings of the Third International Conference on Network and System Security","author":"C. Queiroz","year":"2009","unstructured":"C. Queiroz, A. Mahmood, J. Hu, Z. Tari and X. Yu, Building a SCADA security testbed, Proceedings of the Third International Conference on Network and System Security, pp. 357\u2013364, 2009."},{"key":"16_CR17","first-page":"312","volume-title":"Proceedings of the First International Conference on Multi-Agent Systems","author":"A. Rao","year":"1995","unstructured":"A. Rao and M. Georgeff, BDI agents: From theory to practice, Proceedings of the First International Conference on Multi-Agent Systems, pp. 312\u2013319, 1995."},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/DSN.2006.71","volume-title":"Proceedings of the International Conference on Dependable Systems and Networks","author":"R. Reeder","year":"2006","unstructured":"R. Reeder and R. Maxion, User interface defect detection by hesitation analysis, Proceedings of the International Conference on Dependable Systems and Networks, pp. 61\u201372, 2006."},{"key":"16_CR19","first-page":"1136","volume-title":"Proceedings of the Society of Instrument and Control Engineers Annual Conference","author":"X. Shi","year":"2003","unstructured":"X. Shi and Q. Zhong, The introduction of high level architecture (HLA) and run-time infrastructure (RTI), Proceedings of the Society of Instrument and Control Engineers Annual Conference, vol. 1, pp. 1136\u20131139, 2003."},{"key":"16_CR20","unstructured":"C. Siaterlis, A. Garcia and B. Genge, On the use of Emulab testbeds for scientifically rigorous experiments, to appear in IEEE Communications Surveys and Tutorials."},{"key":"16_CR21","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1109\/ICMTMA.2010.603","volume-title":"Proceedings of the International Conference on Measuring Technology and Mechatronics Automation","author":"C. Wang","year":"2010","unstructured":"C. Wang, L. Fang and Y. Dai, A simulation environment for SCADA security analysis and assessment, Proceedings of the International Conference on Measuring Technology and Mechatronics Automation, pp. 342\u2013347, 2010."},{"key":"16_CR22","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/1060289.1060313","volume-title":"Proceedings of the Fifth Symposium on Operating Systems Design and Implementation","author":"B. White","year":"2002","unstructured":"B. White, J. Lepreau, L. Stoller, R. Ricci, S. Guruprasad, M. Newbold, M. Hibler, C. Barb and A. Joglekar, An integrated experimental environment for distributed systems and networks, Proceedings of the Fifth Symposium on Operating Systems Design and Implementation, pp. 255\u2013270, 2002."},{"key":"16_CR23","unstructured":"X. Zhao, J. Venkateswaran and Y. Son, Modeling human operator decision-making in manufacturing systems using BDI agent paradigm, presented at the IIE Annual Conference and Exposition, 2005."}],"container-title":["IFIP Advances in Information and Communication Technology","Critical Infrastructure Protection VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35764-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T04:44:08Z","timestamp":1557549848000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35764-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642357633","9783642357640"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35764-0_16","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2012]]}}}