Probing Attacks on Multi-Agent Systems Using Electronic Institutions

Bijani, Shahriar; Robertson, David; Aspinall, David

doi:10.1007/978-3-642-29113-5_4

Cited by 2 publications

(5 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The adversary can subvert this process and actively probe the agents by accessing the victim agent's private local knowledge ( e.g., decision rules and policies) and injecting facts into the agent's knowledge base, asking queries, and evaluating results. Other probing attacks have also been explored in recent research [14]- [16]. In particular, Bijani et al [14] demonstrated four probing attacks on MASs controlled by electronic institutions: explicit query, implicit query, injection, and indirect query attacks.…”

Section: A Attack Operation Disclosure Attacksmentioning

confidence: 99%

“…Other probing attacks have also been explored in recent research [14]- [16]. In particular, Bijani et al [14] demonstrated four probing attacks on MASs controlled by electronic institutions: explicit query, implicit query, injection, and indirect query attacks. These attacks utilize Lightweight Coordination Calculus interaction models.…”

Section: A Attack Operation Disclosure Attacksmentioning

confidence: 99%

“…For example, in a MAS set up with a high number of agents, it appears impossible to allocate and keep a distinct encryption key for each pair of agents. According to Bijani et al, [14], This issue can be solved by combining symmetric encryption with publickey cryptography schemes, which as used in some other papers. Wong & Sycara [41] proposed a security infrastructure to address the RETSINA framework's security and trust [42] which is a reusable multi-agent infrastructure and provides solutions for secure communication, the integrity of systemlevel services (such as naming and matchmaking services), and accountability.…”

Section: Encryption and Cryptographymentioning

confidence: 99%

“…Bijani et al [14] identified the significant challenges of access control-based security methods: they are usually lowlevel middleware and only control access to low-level objects. This is challenging as this method finds it difficult to detect high-level violations such as impersonation and probing attacks.…”

Section: Access Control Mechanismsmentioning

confidence: 99%

See 3 more Smart Citations

Security of Multi-Agent Cyber-Physical Systems: A Survey

Owoputi

Ray

2022

IEEE Access

View full text Add to dashboard Cite

Multi-agent systems are becoming increasingly popular due to their successful implementation in several sectors. However, there are a variety of threats that might undermine the agent's security and imperil system security. As a result, security concerns should be addressed during the design of multi-agent systems. This survey reviews different models for securing multi-agent systems, which were developed based on the concepts regarding the agent's role and communications. This paper presents and categorizes the most common attacks on MASs. Then, we study and analyze numerous security strategies in the literature, classifying them as prevention, detection, and resiliency approaches based on reputation and trust. Finally, we recommend which security approach is the best countermeasure for specific types of attacks based on recent advances in the research field.

show abstract

Section: A Attack Operation Disclosure Attacksmentioning

confidence: 99%

Section: A Attack Operation Disclosure Attacksmentioning

confidence: 99%

Section: Encryption and Cryptographymentioning

confidence: 99%

Section: Access Control Mechanismsmentioning

confidence: 99%

See 2 more Smart Citations

Security of Multi-Agent Cyber-Physical Systems: A Survey

Owoputi

Ray

2022

IEEE Access

View full text Add to dashboard Cite

show abstract

“…Having defined a type system for a class of security properties, our purpose in this section is to prove key security properties of the system. Other work (S. Bijani 2013) gives empirical examples of the consequences of these properties in specific interactions but, to save space, we focus here on generic properties across all appropriate LCC interactions.…”

Section: Key Properties Of the Type Systemmentioning

confidence: 99%

Secure information sharing in social agent interactions using information flow analysis

Bijani

Robertson

Aspinall

2018

Engineering Applications of Artificial Intelligence

Self Cite

View full text Add to dashboard Cite

When we wish to coordinate complex, cooperative tasks in open multi-agent systems, where each agent has autonomy and the agents have not been designed to work together, we need a way for the agents themselves to determine the social norms that govern collective behaviour. An effective way to define social norms for agent communication is through the use of interaction models such as those expressed in the Lightweight Coordination Calculus (LCC), a compact executable specification language based on logic programming and pi-calculus. Open multi-agent systems have experienced growing popularity in the multi-agent community and gain importance as large scale distributed systems become more widespread. A major practical limitation to such systems is security, because the very openness of such systems opens the doors to adversaries to exploit vulnerabilities introduced through acceptance of social norms. This paper addresses a key vulnerability of security of open multi-agent systems governed by formal models of social norms (as exemplified by LCC). A fundamental limitation of conventional security mechanisms (e.g. access control and encryption) is the inability to prevent information from being propagated. Focusing on information leakage in choreography systems using LCC, we suggest a framework to detect insecure information flows. A novel security-typed LCC language is proposed to prevent information leakage. Both static (design-time) and dynamic (run-time) security type checking are employed to guarantee no information leakage can occur in annotated agent interaction models. The proposed security type system is discussed and then formally evaluated by proving its properties. Two disadvantages of the pure dynamic analysis are its late detection and its inability to detect implicit information flows. We overcome these issues by performing static analysis. The proposed security type system supports non-interference, i.e. high-security input to the program never affect low-security output. However, it disregards information leaks due to the termination of the program.

show abstract

Probing Attacks on Multi-Agent Systems Using Electronic Institutions

Cited by 2 publications

References 19 publications

Security of Multi-Agent Cyber-Physical Systems: A Survey

Security of Multi-Agent Cyber-Physical Systems: A Survey

Secure information sharing in social agent interactions using information flow analysis

Contact Info

Product

Resources

About