Advertisement

A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems

  • Katia Santacà
  • Matteo Cristani
  • Marco Rocchetto
  • Luca Viganò
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10207)

Abstract

We propose a topological categorization of agents that makes use of the multiple-channel logic (MCL) framework, a recently developed model of reasoning about agents. We firstly introduce a complete formalization of prejudices on agents’ attitudes and propose an extension of the rules of the MCL framework. We then use RCC5 (the Region Connection Calculus) to categorize different agents in Multi-Agent Systems (MAS) based on the collaboration, competence, and honesty of agents. We discuss the possibility of using RCC3 and RCC8 and generalize our results to define an upper bound on the number of different types of agents in MAS. Finally, we apply our topological categorization to a specific MAS that describes a Cyber-Physical System, for which we define, categorize and discuss the resulting attack states.

References

  1. 1.
    Balbiani, P., Seban, P.: Reasoning about permitted announcements. J. Philos. Logic 40(4), 445–472 (2011)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    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 CrossRefGoogle Scholar
  5. 5.
    Kang, E., Adepu, S., Jackson, D., Mathur, A.P.: Model-based security analysis of a water treatment system. In: SEsCPS (2016)Google Scholar
  6. 6.
    Khaitan, S., McCalley, J.: Design techniques and applications of cyberphysical systems: a survey. IEEE Syst. J. 9(2), 350–365 (2015)CrossRefGoogle Scholar
  7. 7.
    Lin, J., Sedigh, S., Miller, A.: Modeling cyber-physical systems with semantic agents. In: COMPSACW (2010)Google Scholar
  8. 8.
    Lin, T.Y., Liu, Q., Yao, Y.Y.: Logics systems for approximate reasoning: approximation via rough sets and topological spaces. In: ISMIS (1994)Google Scholar
  9. 9.
    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 CrossRefGoogle Scholar
  10. 10.
    Sabaliauskaite, G., Mathur, A.P.: Intelligent checkers to improve attack detection in cyber physical systems. In: CyberC (2013)Google Scholar
  11. 11.
    Sanislav, T., Miclea, L.: Cyber-physical systems - concept, challenges and research areas. Control Eng. Appl. Inform. 14(2), 28–33 (2012)Google Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    Van Benthem, J., Van Eijck, J., Kooi, B.: Logics of communication and change. Inf. Comput. 204(11), 1620–1662 (2006)MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Katia Santacà
    • 1
  • Matteo Cristani
    • 1
  • Marco Rocchetto
    • 2
  • Luca Viganò
    • 3
  1. 1.Dipartimento di InformaticaUniversità di VeronaVeronaItaly
  2. 2.SnTUniversity of LuxembourgLuxembourg CityLuxembourg
  3. 3.Department of InformaticsKing’s College LondonLondonUK

Personalised recommendations