[논문 리뷰] Extending Agents by Transmitting Protocols in Open Systems

Lavindra Priyalal de Silva, Michael Winikoff외 1명|arXiv (Cornell University)|2014. 03. 03.

Multi-Agent Systems and Negotiation참고 문헌 22인용 수 12

한 줄 요약

이 논문은 소스 코드 수정 없이 에이전트가 동적으로 새로운 상호작용 프로토콜을 수용할 수 있도록 허용하는 개방형 다중에이전트 시스템을 위한 프로토콜 전송 메커니즘을 제안한다. 프로토콜 표현을 위한 확장된 페트리 네트워크 형식, 악성 또는 오류 있는 프로토콜 행동을 탐지하기 위한 안전성 분석 방법, 런타임 시 프로토콜 이행을 가능하게 하는 실행 모델을 도입함으로써, 개방형 시스템에서 안전하고 유연한 프로토콜 진화를 가능하게 한다.

ABSTRACT

Agents in an open system communicate using interaction protocols. Suppose that we have a system of agents and that we want to add a new protocol that all (or some) agents should be able to understand. Clearly, modifying the source code for each agent implementation is not practical. A solution to this problem of upgrading an open system is to have a mechanism that allows agents to receive a description of an interaction protocol and use it. In this paper we propose a representation for protocols based on extending Petri nets. However, this is not enough: in an open system the source of a protocol may not be trusted and a protocol that is received may contain steps that are erroneous or that make confidential information public. We therefore also describe an analysis method that infers whether a protocol is safe. Finally, we give an execution model for extended Petri nets.

연구 동기 및 목표

• 개방형 다중에이전트 시스템에서 개별 에이전트의 소스 코드를 수정하지 않고도 상호작용 프로토콜을 업그레이드하는 문제를 해결하기 위해.
• 에이전트가 신뢰할 수 없는 소스로부터 동적으로 신규 프로토콜을 수신하고, 해석하며, 실행할 수 있도록 하기 위해.
• 실행 이전에 악성 또는 오류 있는 행동을 탐지함으로써 프로토콜의 안전성을 확보하기 위해.
• 개방형 시스템에서 프로토콜의 표현과 실행을 위한 형식적이고 확장 가능한 모델을 제공하기 위해.
• 변화가 빠른 환경에서 에이전트 상호작용의 런타임 적응성과 진화를 지원하기 위해.

제안 방법

• 메시지 전달, 상태 전이, 조율 논리 등을 포함한 복잡한 상호작용 프로토콜을 표현하기 위해 표준 페트리 네트워크에 추가 구조를 도입한다.
• 기계에서 읽을 수 있는 프로토콜 사양을 위한 확장된 페트리 네트워크 모델 기반의 형식적 프로토콜 기술 언어를 도입한다.
• 정보 유출이나 死락과 같은 취약점을 점검함으로써 보안성을 검증하기 위해 정적 분석 기법을 활용한다.
• 에이전트가 프로토콜 인터프리터를 사용하여 런타임에 프로토콜 기술서를 즉각적으로 해석하고 실행할 수 있도록 하는 런타임 실행 모델을 정의한다.
• 배포 이전에 프로토콜 행동이 안전성 제약 조건을 준수하는지 보장하기 위해 형식적 검증 기법을 사용한다.
• 에이전트가 실행 중에 외부 소스로부터 새로운 프로토콜을 수신하고 학습하여 적용할 수 있도록 허용하는 동적 프로토콜 주입을 지원한다.

실험 결과

연구 질문

• RQ1 개방형 시스템의 에이전트는 소스 코드 변경 없이 어떻게 동적으로 새로운 상호작용 프로토콜을 수용할 수 있는가?
• RQ2 특정 사양과 런타임 실행을 모두 지원할 수 있는 방식으로 상호작용 프로토콜을 표현할 수 있는 형식적 언어는 무엇인가?
• RQ3 실행 이전에 악성 또는 오류 있는 행동을 탐지하기 위해 신뢰할 수 없는 프로토콜을 어떻게 분석할 수 있는가?
• RQ4 동적으로 수신된 프로토콜을 안전하고 정확하게 실행할 수 있도록 하는 실행 모델은 무엇인가?
• RQ5 개방형 에이전트 시스템에서 보안적이고 확장 가능한 방식으로 프로토콜 진화를 어떻게 지원할 수 있는가?

주요 결과

• 확장된 페트리 네트워크 모델은 메시지 전달, 상태 관리, 조율 기능을 지원하여 복잡한 상호작용 프로토콜을 성공적으로 표현한다.
• 안전성 분석 방법은 정보 유출 및 死락과 같은 잠재적 프로토콜 결함을 효과적으로 탐지한다.
• 런타임 실행 모델은 에이전트가 프로토콜 기술서를 동적으로 해석하고 실행할 수 있도록 하여 프로토콜의 확장성을 지원한다.
• 이 방법은 기존 에이전트 구현을 수정하지 않고도 개방형 시스템에서 보안적인 프로토콜 업그레이드를 가능하게 한다.
• 형식적 프레임워크는 오직 안전하고 정확한 프로토콜만 실행되도록 보장하여 시스템의 견고성을 향상시킨다.
• 이 방법은 변화가 빠른 개방형 환경에서 에이전트 상호작용의 확장성 있고 보안적인 진화를 지원한다.