{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T04:18:04Z","timestamp":1725855484870},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319333304"},{"type":"electronic","value":"9783319333311"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-33331-1_1","type":"book-chapter","created":{"date-parts":[[2016,5,17]],"date-time":"2016-05-17T10:12:12Z","timestamp":1463479932000},"page":"3-14","source":"Crossref","is-referenced-by-count":1,"title":["Security Architecture and Specification Framework for Safe and Secure Industrial Automation"],"prefix":"10.1007","author":[{"given":"Sergey","family":"Tverdyshev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Blasum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ekaterina","family":"Rudina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dmitry","family":"Kulagin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavel","family":"Dyakin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stanislav","family":"Moiseev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,18]]},"reference":[{"key":"1_CR1","unstructured":"Hydraulic Shock Safety Bulletin. U.S. Chemical Safety Board, January 2015. http:\/\/www.csb.gov\/assets\/1\/19\/final_CSB_CaseStudy_Millard_0114_0543PM.pdf"},{"key":"1_CR2","unstructured":"Federal Office for Information Security. The IT security in Germany 2014 (Bundesamt f\u00fcr Sicherheit in der Informationstechnik. Die Lage der IT-Sicherheit in Deutschland 2014). https:\/\/www.bsi.bund.de\/SharedDocs\/Downloads\/DE\/BSI\/Publikationen\/Lageberichte\/Lagebericht2014.pdf?__blob=publicationFile"},{"key":"1_CR3","unstructured":"Abrams, M., Weiss, J.: Applied Control Solutions. Malicious Control System Cyber Security Attack Case StudyMaroochy Water Services, Australia. http:\/\/csrc.nist.gov\/groups\/SMA\/fisma\/ics\/documents\/Maroochy-Water-Services-Case-Study_report.pdf"},{"key":"1_CR4","unstructured":"Langner, R.: To Kill a Centrifuge. A Technical Analysis of What Stuxnet\u2019s Creators Tried to Achieve. Langner Blog (2013). http:\/\/www.langner.com\/en\/wp-content\/uploads\/2013\/11\/To-kill-a-centrifuge.pdf"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Mossakowski, T., Drouineaud, M., Sohr, K.: A temporal-logic extension of role-based access control covering dynamic separation of duties. In: TIME, pp. 83\u201390. IEEE Computer Society (2003)","DOI":"10.1109\/TIME.2003.1214883"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Mondal, S., Sural, S., Atluri, V.: Towards formal security analysis of GTRBAC using timed automata. In: Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, SACMAT 2009, pp. 33\u201342. ACM (2009)","DOI":"10.1145\/1542207.1542214"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Bertino, E., Bonatti, P.A., Ferrari, E.: TRBAC: a temporal role-based access control model. In: Proceedings of the Fifth ACM Workshop on Role-Based Access Control, Berlin, pp. 21\u201330. ACM, July 2000","DOI":"10.1145\/344287.344298"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Uzun, E., Atluri, V., Sural, S., Vaidya, J., Parlato, G., Ferrara, A.L., Madhusudan, P.: Analyzing temporal role based access control models. In: Proceeding of the 17th ACM Symposium on Access Control Models and Technologies (SACMAT), pp. 177\u2013186. ACM, New York (2012)","DOI":"10.1145\/2295136.2295169"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Joshi, J.B.D., Bertino, E., Ghafoor, A.: Temporal hierarchies and inheritance semantics for GTRBAC. In: Proceedings of the 7th ACM Symposium on Access Control Models and Technologies, Monterey, pp. 74\u201383. ACM, July 2002","DOI":"10.1145\/507711.507724"},{"issue":"1","key":"1_CR10","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/TKDE.2005.1","volume":"17","author":"JBD Joshi","year":"2005","unstructured":"Joshi, J.B.D., Bertino, E., Latif, U., Ghafoor, A.: A generalized temporal role based access control model. IEEE Trans. Knowl. Data Eng. 17(1), 4\u201323 (2005)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Balliu, M., Dam, M., Guernic, G.L.: Epistemic temporal logic for information flow security. CoRR abs\/1208.6106 (2012)","DOI":"10.1109\/CSF.2012.24"},{"key":"1_CR12","unstructured":"Chemical Facility Security News. Control System Scenarios, April 2015. http:\/\/chemical-facility-security-news.blogspot.de\/2015\/04\/control-system-scenarios.html"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Banerjee, A., Naumann, D.A., Rosenberg, S.: Expressive declassification policies and modular static enforcement. In: IEEE Symposium on Security and Privacy, pp. 339\u2013353. IEEE Computer Society (2008)","DOI":"10.1109\/SP.2008.20"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Rocha, B.P.S., Bandhakavi, S., den Hartog, J., Winsborough, W.H., Etalle, S.: Towards static flow-based declassification for legacy and untrusted programs. In: IEEE Symposium on Security and Privacy, pp. 93\u2013108. IEEE Computer Society (2010)","DOI":"10.1109\/SP.2010.14"},{"key":"1_CR15","unstructured":"Spencer, R., Smalley, S., Hibler, M., Andersen, D.: The flask security architecture: system support for diverse security policies. In: Proceedings of the Eighth USENIX Security Symposium, pp. 123\u2013139, August 1999"},{"key":"1_CR16","unstructured":"SYSGO AG. www.sysgo.com"},{"key":"1_CR17","unstructured":"Kaspersky Lab. www.kaspersky.com"},{"key":"1_CR18","unstructured":"Brygier, J., Fuchsen, R., Blasum, H.: Safe and secure virtualization in a separation microkernel. In: Proceedings, Embedded World Conference. Nuremberg (2009)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Verbeek, F., Schmaltz, J., Tverdyshev, S., Blasum, H., Havle, O., Langenstein, B., Stephan, W., Wolff, B.: Formal functional specification of the pikeos separation kernel. In: Proceedings of 7th NASA Formal Methods Symposium. Pasadena (2015)","DOI":"10.1007\/978-3-319-17524-9_26"},{"key":"1_CR20","unstructured":"EURO-MILS Consortium: MILS Architecture, Technical report (2014). http:\/\/euromils.eu\/downloads\/2014-EURO-MILS-MILS-Architecture-white-paper.pdf"},{"key":"1_CR21","unstructured":"Rushby, J.: Design and verification of secure systems. In: Eighth ACM Symposium on Operating System Principles, pp. 12\u201321 (1981). http:\/\/www.sdl.sri.com\/papers\/sosp81\/sosp81.pdf"}],"container-title":["Lecture Notes in Computer Science","Critical Information Infrastructures Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-33331-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,7]],"date-time":"2019-09-07T15:10:52Z","timestamp":1567869052000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-33331-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319333304","9783319333311"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-33331-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}