Safety and Security in Multiagent Systems

by Barley, Mike; Mouratidis, Haralambos; Unruh, Amy; Spears, Diana; Scerri, Paul

• ISBN13: 9783642048784
• ISBN10: 3642048781
• Edition: 1st
• Format: Paperback
• Copyright: 2009-11-01
• Publisher: Springer-Verlag New York Inc

Summary

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

Methodological Approaches to High-Assurance Systems
Towards Safe Coordination in Multi-agent Systems	p. 1
Enhancing Secure Tropos to Effectively Deal with Security Requirements in the Development of Multiagent Systems	p. 8
Dependable Multi-agent Systems: Layered Reference Architecture and Representative Mechanisms	p. 27
Towards Using Simulation to Evaluate Safety Policy for Systems of Systems	p. 49
A Guardian Agent Approach to Safety in Medical Multi-agent Systems	p. 67
A Distributed Numerical Approach for Managing Uncertainty in Large-Scale Multi-agent Systems	p. 80
Prevention and Response to Harm/Failures
The First Law of Robotics (A Call to Arms)	p. 90
Safe Stochastic Planning: Planning to Avoid Fatal States	p. 101
Building Coordinated Real-Time Control Plans	p. 116
A Framework for Goal-Based Semantic Compensation in Agent Systems	p. 130
Safe Agents in Space: Preventing and Responding to Anomalies in the Autonomous Sciencecraft Experiment	p. 147
Stochastic Approaches to Predictability and Unpredictability
Uncertain Agent Verification through Probabilistic Model-Checking	p. 162
Safety and Security Multi-agent Systems: Research Results from 2004-2006	p. 175
Coordinating Randomized Policies for Increasing Security in Multiagent Systems	p. 191
Safety and Security in Human-Computer Interactions
Safety in the Context of Coordination via Adjustable Autonomy	p. 208
Command and Authorization Services for Multiple Humans Interacting with a Software Control Agent for Advanced Life Support	p. 225
Analyzing Dangers in Multiagent Rescue Using DEFACTO	p. 241
Using Multi-agent Systems to Specify Safe and Secure Services for Virtual Organisations	p. 258
MLBPR: MAS for Large-Scale Biometric Pattern Recognition	p. 274
Self-Protection
Intentional Agents in Defense	p. 293
Security and Privacy Issues in Agent-Based Location-Aware Mobile Commerce	p. 308
Biologically-Inspired Concepts for Autonomic Self-protection in Multiagent Systems	p. 330
Author Index	p. 343
Table of Contents provided by Ingram. All Rights Reserved.