SANTACA, Katia ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Cristani, Matteo
ROCCHETTO, Marco ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Viganò, Luca; King's College London
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
A Topological Categorization of Agents for the Definition of Attack States in Multi-Agent Systems
Date de publication/diffusion :
2016
Nom de la manifestation :
European Conference on Multi-Agent Systems (EUMAS)
Date de la manifestation :
2016
Titre de l'ouvrage principal :
A Topological Categorization of Agents for the Definition of Attack States in Multi-Agent Systems
Balbiani, P., Seban, P.: Reasoning about permitted announcements. J. Philos. Logic 40(4), 445–472 (2011)
Cristani, M., Olivieri, F., Santacà, 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)
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–249 (2007)
Grütter, 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–306. Springer, Heidelberg (2008). doi:10.1007/978-3-540-88564-1 19
Kang, E., Adepu, S., Jackson, D., Mathur, A.P.: Model-based security analysis of a water treatment system. In: SEsCPS (2016)
Khaitan, S., McCalley, J.: Design techniques and applications of cyberphysical systems: a survey. IEEE Syst. J. 9(2), 350–365 (2015)
Lin, J., Sedigh, S., Miller, A.: Modeling cyber-physical systems with semantic agents. In: COMPSACW (2010)
Lin, T.Y., Liu, Q., Yao, Y.Y.: Logics systems for approximate reasoning: approximation via rough sets and topological spaces. In: ISMIS (1994)
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–192. Springer, Cham (2016). doi:10.1007/978-3-319-47846-3 12
Sabaliauskaite, G., Mathur, A.P.: Intelligent checkers to improve attack detection in cyber physical systems. In: CyberC (2013)
Sanislav, T., Miclea, L.: Cyber-physical systems - concept, challenges and research areas. Control Eng. Appl. Inform. 14(2), 28–33 (2012)
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)
Van Benthem, J., Van Eijck, J., Kooi, B.: Logics of communication and change. Inf. Comput. 204(11), 1620–1662 (2006)
