Safety and Security in Multiagent Systems: Research Results from 2004-2006

✍ Scribed by Anita Raja, Michael Barley, Xiaoqin Shelley Zhang (auth.), Mike Barley, Haralambos Mouratidis, Amy Unruh, Diana Spears, Paul Scerri, Fabio Massacci (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2009
• Tongue: English
• Leaves: 350
• Series: Lecture Notes in Computer Science 4324 : Lecture Notes in Artificial Intelligence
• Edition: 1
• Category: Library

✦ Synopsis

The Safety and Security in Multiagent Systems (SASEMAS) series of workshops that took place from 2004-2006 provided a forum for the exchange of ideas and discussion on areas related to the safety and security of multiagent systems. In particular, the workshops explored issues related to the development and deployment of safe and secure agents and multiagents systems with topics ranging from definitions of safety and security for single agents or entire systems to verification/validation of agent and multiagent systems to design, mechanisms and deployment to user requirements, agent behavior, and trust.

This book contains 22 papers grouped into five main sections according to the following topics: methodological approaches to high-assurance systems, prevention and response to harm/failures, stochastic approaches to predictability and unpredictability, safety and security in human-computer interactions, and self-protection.

✦ Table of Contents

Front Matter....Pages -
Towards Safe Coordination in Multi-agent Systems....Pages 1-7
Enhancing Secure Tropos to Effectively Deal with Security Requirements in the Development of Multiagent Systems....Pages 8-26
Dependable Multi-agent Systems: Layered Reference Architecture and Representative Mechanisms....Pages 27-48
Towards Using Simulation to Evaluate Safety Policy for Systems of Systems....Pages 49-66
A Guardian Agent Approach to Safety in Medical Multi-agent Systems....Pages 67-79
A Distributed Numerical Approach for Managing Uncertainty in Large-Scale Multi-agent Systems....Pages 80-89
The First Law of Robotics....Pages 90-100
Safe Stochastic Planning: Planning to Avoid Fatal States....Pages 101-115
Building Coordinated Real-Time Control Plans....Pages 116-129
A Framework for Goal-Based Semantic Compensation in Agent Systems....Pages 130-146
Safe Agents in Space: Preventing and Responding to Anomalies in the Autonomous Sciencecraft Experiment....Pages 147-161
Uncertain Agent Verification through Probabilistic Model-Checking....Pages 162-174
Safety and Security Multi-agent Systems....Pages 175-190
Coordinating Randomized Policies for Increasing Security in Multiagent Systems....Pages 191-207
Safety in the Context of Coordination via Adjustable Autonomy....Pages 208-224
Command and Authorization Services for Multiple Humans Interacting with a Software Control Agent for Advanced Life Support....Pages 225-240
Analyzing Dangers in Multiagent Rescue Using DEFACTO....Pages 241-257
Using Multi-agent Systems to Specify Safe and Secure Services for Virtual Organisations....Pages 258-273
MLBPR: MAS for Large-Scale Biometric Pattern Recognition....Pages 274-292
Intentional Agents in Defense....Pages 293-307
Security and Privacy Issues in Agent-Based Location-Aware Mobile Commerce....Pages 308-329
Biologically-Inspired Concepts for Autonomic Self-protection in Multiagent Systems....Pages 330-341
Erratum to: Fluid-Like Swarms with Predictable Macroscopic Behavior....Pages E1-E1
Back Matter....Pages -

✦ Subjects

Artificial Intelligence (incl. Robotics); Systems and Data Security; Data Encryption; Management of Computing and Information Systems; Computer Communication Networks; Computers and Society