{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:19:32Z","timestamp":1742390372604},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319592930"},{"type":"electronic","value":"9783319592947"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-59294-7_21","type":"book-chapter","created":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T10:19:10Z","timestamp":1498126750000},"page":"261-276","source":"Crossref","is-referenced-by-count":3,"title":["A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Katia","family":"Santac\u00e0","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Cristani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Rocchetto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Vigan\u00f2","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,23]]},"reference":[{"issue":"4","key":"21_CR1","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/s10992-011-9187-1","volume":"40","author":"P Balbiani","year":"2011","unstructured":"Balbiani, P., Seban, P.: Reasoning about permitted announcements. J. Philos. Logic 40(4), 445\u2013472 (2011)","journal-title":"J. Philos. Logic"},{"key":"21_CR2","volume-title":"Intelligent and Evolutionary Systems","author":"M Cristani","year":"2016","unstructured":"Cristani, M., Olivieri, F., Santac\u00e0, K.: A logical model of communication channels. In: Lavangnananda, K., Phon-Amnuaisuk, S., Engchuan, W., Chan, J. (eds.) Intelligent and Evolutionary Systems. Springer, Cham (2016)"},{"issue":"3","key":"21_CR3","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/s10506-007-9054-0","volume":"15","author":"D Grossi","year":"2007","unstructured":"Grossi, D., Royakkers, L., Dignum, F.: Organizational structure and responsibility: an analysis in a dynamic logic of organized collective agency. Artif. Intell. Law 15(3), 223\u2013249 (2007)","journal-title":"Artif. Intell. Law"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-540-88564-1_19","volume-title":"The Semantic Web - ISWC 2008","author":"R Gr\u00fctter","year":"2008","unstructured":"Gr\u00fctter, R., Scharrenbach, T., Bauer-Messmer, B.: Improving an RCC-derived geospatial approximation by OWL axioms. In: Sheth, A., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 293\u2013306. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-88564-1_19"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Kang, E., Adepu, S., Jackson, D., Mathur, A.P.: Model-based security analysis of a water treatment system. In: SEsCPS (2016)","DOI":"10.1145\/2897035.2897041"},{"issue":"2","key":"21_CR6","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/JSYST.2014.2322503","volume":"9","author":"S Khaitan","year":"2015","unstructured":"Khaitan, S., McCalley, J.: Design techniques and applications of cyberphysical systems: a survey. IEEE Syst. J. 9(2), 350\u2013365 (2015)","journal-title":"IEEE Syst. J."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Lin, J., Sedigh, S., Miller, A.: Modeling cyber-physical systems with semantic agents. In: COMPSACW (2010)","DOI":"10.1109\/COMPSACW.2010.13"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Lin, T.Y., Liu, Q., Yao, Y.Y.: Logics systems for approximate reasoning: approximation via rough sets and topological spaces. In: ISMIS (1994)","DOI":"10.1007\/3-540-58495-1_7"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-319-47846-3_12","volume-title":"Formal Methods and Software Engineering","author":"M Rocchetto","year":"2016","unstructured":"Rocchetto, M., Tippenhauer, N.O.: CPDY: extending the Dolev-Yao attacker with physical-layer interactions. In: Ogata, K., Lawford, M., Liu, S. (eds.) ICFEM 2016. LNCS, vol. 10009, pp. 175\u2013192. Springer, Cham (2016). doi: 10.1007\/978-3-319-47846-3_12"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Sabaliauskaite, G., Mathur, A.P.: Intelligent checkers to improve attack detection in cyber physical systems. In: CyberC (2013)","DOI":"10.1109\/CyberC.2013.14"},{"issue":"2","key":"21_CR11","first-page":"28","volume":"14","author":"T Sanislav","year":"2012","unstructured":"Sanislav, T., Miclea, L.: Cyber-physical systems - concept, challenges and research areas. Control Eng. Appl. Inform. 14(2), 28\u201333 (2012)","journal-title":"Control Eng. Appl. Inform."},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Urbina, D., Giraldo, J., Cardenas, A.A., Tippenhauer, N.O., Valente, J., Faisal, M., Ruths, J., Candell, R., Sandberg, H.: Limiting the impact of stealthy attacks on industrial control systems. In: CCS (2016)","DOI":"10.1145\/2976749.2978388"},{"issue":"11","key":"21_CR13","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J Benthem Van","year":"2006","unstructured":"Van Benthem, J., Van Eijck, J., Kooi, B.: Logics of communication and change. Inf. Comput. 204(11), 1620\u20131662 (2006)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems and Agreement Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59294-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,26]],"date-time":"2019-09-26T14:36:22Z","timestamp":1569508582000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-59294-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319592930","9783319592947"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59294-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}