Safety and Security in Multiagent Systems

1. Front Matter

   PDF

2. Methodological Approaches to High-Assurance Systems

   1. Towards Safe Coordination in Multi-agent Systems

      • Anita Raja, Michael Barley, Xiaoqin Shelley Zhang

      Pages 1-7

   2. Enhancing Secure Tropos to Effectively Deal with Security Requirements in the Development of Multiagent Systems

      • H. Mouratidis, P. Giorgini

      Pages 8-26

   3. Dependable Multi-agent Systems: Layered Reference Architecture and Representative Mechanisms

      • Peter C. Lockemann, Jens Nimis

      Pages 27-48

   4. Towards Using Simulation to Evaluate Safety Policy for Systems of Systems

      • Robert Alexander, Martin Hall-May, Georgios Despotou, Tim Kelly

      Pages 49-66

   5. A Guardian Agent Approach to Safety in Medical Multi-agent Systems

      • S. Modgil, J. Fox

      Pages 67-79

   6. A Distributed Numerical Approach for Managing Uncertainty in Large-Scale Multi-agent Systems

      • Anita Raja, Michael Klibanov

      Pages 80-89

3. Prevention and Response to Harm/Failures

   1. The First Law of Robotics

      • Daniel Weld, Oren Etzioni

      Pages 90-100

   2. Safe Stochastic Planning: Planning to Avoid Fatal States

      • Hao Ren, Ali Akhavan Bitaghsir, Mike Barley

      Pages 101-115

   3. Building Coordinated Real-Time Control Plans

      • David J. Musliner, Michael J. S. Pelican, Kurt D. Krebsbach

      Pages 116-129

   4. A Framework for Goal-Based Semantic Compensation in Agent Systems

      • Amy Unruh, James Bailey, Kotagiri Ramamohanarao

      Pages 130-146

   5. Safe Agents in Space: Preventing and Responding to Anomalies in the Autonomous Sciencecraft Experiment

      • Daniel Tran, Steve Chien, Gregg Rabideau, Benjamin Cichy

      Pages 147-161

4. Stochastic Approaches to Predictability and Unpredictability

   1. Uncertain Agent Verification through Probabilistic Model-Checking

      • Paolo Ballarini, Michael Fisher, Michael Wooldridge

      Pages 162-174

   2. Safety and Security Multi-agent Systems

      • Diana Spears, Wesley Kerr, William Spears

      Pages 175-190

   3. Coordinating Randomized Policies for Increasing Security in Multiagent Systems

      • Praveen Paruchuri, Milind Tambe, Fernando Ordóñez, Sarit Kraus

      Pages 191-207

5. Safety and Security in Human-Computer Interactions

   1. Safety in the Context of Coordination via Adjustable Autonomy

      • Paul Scerri, Katia Sycara, Milind Tambe

      Pages 208-224

   2. Command and Authorization Services for Multiple Humans Interacting with a Software Control Agent for Advanced Life Support

      • Cheryl Martin, Debra Schreckenghost, Pete Bonasso

      Pages 225-240

   3. Analyzing Dangers in Multiagent Rescue Using DEFACTO

      • Janusz Marecki, Nathan Schurr, Milind Tambe, Paul Scerri

      Pages 241-257

   4. Using Multi-agent Systems to Specify Safe and Secure Services for Virtual Organisations

      • Stefan Poslad

      Pages 258-273

   5. MLBPR: MAS for Large-Scale Biometric Pattern Recognition

      • Ram Meshulam, Shulamit Reches, Aner Yarden, Sarit Kraus

      Pages 274-292

As intelligent autonomous agents and multiagent system applications become more pervasive, it becomes increasingly important to understand the risks associated with using these systems. Incorrect or inappropriate agent behavior can have harmful - fects, including financial cost, loss of data, and injury to humans or systems. For - ample, NASA has proposed missions where multiagent systems, working in space or on other planets, will need to do their own reasoning about safety issues that concern not only themselves but also that of their mission. Likewise, industry is interested in agent systems that can search for new supply opportunities and engage in (semi-) automated negotiations over new supply contracts. These systems should be able to securely negotiate such arrangements and decide which credentials can be requested and which credentials may be disclosed. Such systems may encounter environments that are only partially understood and where they must learn for themselves which aspects of their environment are safe and which are dangerous. Thus, security and safety are two central issues when developing and deploying such systems. We refer to a multiagent system’s security as the ability of the system to deal with threats that are intentionally caused by other intelligent agents and/or s- tems, and the system’s safety as its ability to deal with any other threats to its goals.

• DNS security
• Simulation
• access control
• ad hoc networks
• agent-oriented SE
• cognition
• critical information systems
• denial of service
• dependability
• multi-agent system
• privacy
• robot
• robotics
• security
• verification

• Department of Computer Science, The University of Auckland, New Zealand

  Mike Barley

• School of Computing and Technology, University of East London, UK

  Haralambos Mouratidis

• Dept. of Computer Science and Software Engineering, The University of Melbourne, Australia

  Amy Unruh

• Computer Science Department, University of Wyoming, Laramie, USA

  Diana Spears

• Robotics Institute, Carnegie Mellon University, Pittsburgh, USA

  Paul Scerri

• University of Trento, Povo (Trento), Italy

  Fabio Massacci

Policies and ethics