Skip to main content

2017 | OriginalPaper | Buchkapitel

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

verfasst von : Katia Santacà, Matteo Cristani, Marco Rocchetto, Luca Viganò

Erschienen in: Multi-Agent Systems and Agreement Technologies

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
Note that honesty is not necessary related to correctness. In fact, we define an agent as honest if he asserts the truth even if he does not believe in what he asserts.
 
2
Slightly abusing notation, we are using \(\lambda \) for both a sincere and non-sincere agent.
 
Literatur
2.
Zurück zum Zitat 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) 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)
3.
Zurück zum Zitat 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)CrossRef 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)CrossRef
4.
Zurück zum Zitat 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 CrossRef 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 CrossRef
5.
Zurück zum Zitat Kang, E., Adepu, S., Jackson, D., Mathur, A.P.: Model-based security analysis of a water treatment system. In: SEsCPS (2016) Kang, E., Adepu, S., Jackson, D., Mathur, A.P.: Model-based security analysis of a water treatment system. In: SEsCPS (2016)
6.
Zurück zum Zitat Khaitan, S., McCalley, J.: Design techniques and applications of cyberphysical systems: a survey. IEEE Syst. J. 9(2), 350–365 (2015)CrossRef Khaitan, S., McCalley, J.: Design techniques and applications of cyberphysical systems: a survey. IEEE Syst. J. 9(2), 350–365 (2015)CrossRef
7.
Zurück zum Zitat Lin, J., Sedigh, S., Miller, A.: Modeling cyber-physical systems with semantic agents. In: COMPSACW (2010) Lin, J., Sedigh, S., Miller, A.: Modeling cyber-physical systems with semantic agents. In: COMPSACW (2010)
8.
Zurück zum Zitat Lin, T.Y., Liu, Q., Yao, Y.Y.: Logics systems for approximate reasoning: approximation via rough sets and topological spaces. In: ISMIS (1994) Lin, T.Y., Liu, Q., Yao, Y.Y.: Logics systems for approximate reasoning: approximation via rough sets and topological spaces. In: ISMIS (1994)
9.
Zurück zum Zitat 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 CrossRef 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 CrossRef
10.
Zurück zum Zitat Sabaliauskaite, G., Mathur, A.P.: Intelligent checkers to improve attack detection in cyber physical systems. In: CyberC (2013) Sabaliauskaite, G., Mathur, A.P.: Intelligent checkers to improve attack detection in cyber physical systems. In: CyberC (2013)
11.
Zurück zum Zitat Sanislav, T., Miclea, L.: Cyber-physical systems - concept, challenges and research areas. Control Eng. Appl. Inform. 14(2), 28–33 (2012) Sanislav, T., Miclea, L.: Cyber-physical systems - concept, challenges and research areas. Control Eng. Appl. Inform. 14(2), 28–33 (2012)
12.
Zurück zum Zitat 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) 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)
13.
Metadaten
Titel
A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems
verfasst von
Katia Santacà
Matteo Cristani
Marco Rocchetto
Luca Viganò
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-59294-7_21

Premium Partner