The First International Workshop on Safety

and Security in Multiagent Systems (SASEMAS)

Part of AAMAS held at Columbia University

New York City,  20 July 2004

 

 

 

9:00-9:15 Introduction to Workshop by Mike Barley (University of Auckland)

 

9:15-10:00 Invited Talk: "title to be announced" by Sanjay Modgil

                 

10:00-10:20 MAS Safety: In the Trenches

10:00-10:20  Command and Authorization Services for Multiple Agents Acting on an Advanced Life Support System by Cheryl Martin, Debra Schreckenghost, R. P. Bonasso

 

10.20-11.00 Coffee Break

 

11:00-12:00 MAS Security Models

11:00-11:20 Countering Security Vulnerabilities using a shared security buddy model schema in mobile agent communities by John Page, Arkady Zaslavsky, Maria Indrawan

 

11:20-11:40 From message-based security mechanisms to a social interaction model to improve safety and security in open service infrastructures by Stefan Poslad , Jim Tan, Sergi Robles, Alois Reitbauer, Giosue Vitaglione

 

11:40-12:00  An RBAC approach for Securing Access Control in a MAS Coordination

Infrastructure by Alessandro Ricci, Mirko Viroli,Andrea Omicini

 

 

12:00-12:40  MAS Safety Theoretical Frameworks

12:00-12:20 Specifying Properties of MAS: Towards "on the fly" Debugging Architecture

 by Denis Meron, Bruno Mermet, Gaele Simon, Sylvain Sauvage

 

12:20-12:40 Towards an Expectation-based Theory of Defense by Emiliano Lorini,Cristiano Castelfranchi

 

12.40-2.00 Lunch

 

2:00- 2:45 Invited Talk: "title to be announced" by Tom Karygiannis

 

2:45- 3:30 MAS Transaction-Based Safety

2:45- 3:05 Robust Multiagent Systems: The transactional conversation approach by Jens Nimis

 

3:05-3:25 A framework for goal-based semantic compensation in agent systems by Amy Unruh, James Bailey, Kotagiri Ramamohanarao

 

3.30-4.00 Coffee Break

 

4:00 - 5:00 Methodologies, Frameworks and Architectures for secure MAS

4:00-4:20 "Securing Mobile Agents Implemented In the Scheme Programming Language"  by Tony White, Michael Weiss

 

4:20-4:40 Applying Security Standards to Multiagent Systems by Tim Geissler, Olaf Kroll-Peters

 

 4:40-5:00 Enhancing secure Tropos to effectively deal with security requirements in the development of multiagent systems by Haralambos Mouratidis, Paolo Giorgini

 

5:15-5:45 RoboCup Terrorist: A Challenge Problem for Safe and Secure Agents?

5:15-5:45 Discussion session on challenge problems for MAS safety & security

 

5:45-6:00 Summary and Conclusions   by Haralambos Mouratidis (University of East London)