Safety and security in multiagent systems : research results from 2004-2006

Table of Contents Methodological Approaches to High-Assurance Systems Towards Safe Coordination in Multi-agent Systems . . . . . . . . . . . . . . . . . . . 1 Anita Raja, Michael Barley, and Xiaoqin Shelley Zhang Enhancing Secure Tropos to Effectively Deal with Security Requirements in the Development of Multiagent Systems. . . . . . . . . . . . . . 8 H. Mouratidis and P. Giorgini Dependable Multi-agent Systems: Layered Reference Architecture and Representative Mechanisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 Peter C. Lockemann and Jens Nimis Towards Using Simulation to Evaluate Safety Policy for Systems of Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 Robert Alexander, Martin Hall-May, Georgios Despotou, and Tim Kelly A Guardian Agent Approach to Safety in Medical Multi-agent Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67 S. Modgil and J. Fox A Distributed Numerical Approach for Managing Uncertainty in Large-Scale Multi-agent Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80 Anita Raja and Michael Klibanov Prevention and Response to Harm/Failures The First Law of Robotics (A Call to Arms) . . . . . . . . . . . . . . . . . . . . . . . . 90 Daniel Weld and Oren Etzioni Safe Stochastic Planning: Planning to Avoid Fatal States . . . . . . . . . . . . . 101 Hao Ren, Ali Akhavan Bitaghsir, and Mike Barley Building Coordinated Real-Time Control Plans . . . . . . . . . . . . . . . . . . . . . . 116 David J. Musliner, Michael J.S. Pelican, and Kurt D. Krebsbach A Framework for Goal-Based Semantic Compensation in Agent Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130 Amy Unruh, James Bailey, and Kotagiri Ramamohanarao Safe Agents in Space: Preventing and Responding to Anomalies in the Autonomous Sciencecraft Experiment. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147 Daniel Tran, Steve Chien, Gregg Rabideau, and Benjamin Cichy VIII Table of Contents Stochastic Approaches to Predictability and Unpredictability Uncertain Agent Verification through Probabilistic Model-Checking . . . . 162 Paolo Ballarini, Michael Fisher, and Michael Wooldridge Safety and Security Multi-agent Systems: Research Results from 2004-2006 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175 Diana Spears, Wesley Kerr, and William Spears Coordinating Randomized Policies for Increasing Security in Multiagent Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191 Praveen Paruchuri, Milind Tambe, Fernando Ord´o˜nez, and Sarit Kraus Safety and Security in Human-Computer Interactions Safety in the Context of Coordination via Adjustable Autonomy . . . . . . . 208 Paul Scerri, Katia Sycara, and Milind Tambe Command and Authorization Services for Multiple Humans Interacting with a Software Control Agent for Advanced Life Support . . . . . . . . . . . . . 225 Cheryl Martin, Debra Schreckenghost, and Pete Bonasso Analyzing Dangers in Multiagent Rescue Using DEFACTO. . . . . . . . . . . . 241 Janusz Marecki, Nathan Schurr, Milind Tambe, and Paul Scerri Using Multi-agent Systems to Specify Safe and Secure Services for Virtual Organisations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 258 Stefan Poslad MLBPR: MAS for Large-Scale Biometric Pattern Recognition . . . . . . . . . 274 Ram Meshulam, Shulamit Reches, Aner Yarden, and Sarit Kraus Self-Protection Intentional Agents in Defense . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 293 Emiliano Lorini and Cristiano Castelfranchi Security and Privacy Issues in Agent-Based Location-Aware Mobile Commerce . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 308 Athanasios Karygiannis and Emmanouil Antonakakis Biologically-Inspired Concepts for Autonomic Self-protection in Multiagent Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 330 Roy Sterritt and Mike Hinchey Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 343 Fluid-Like Swarms with Predictable Macroscopic Behavior . . . . . . . . . . . . . . Diana Spears, Wesley Kerr, William Spears E1