Verifying Norm Compliancy of Protocols
نویسندگان
چکیده
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can and cannot be done, it can be hard to determine whether a desired goal can actually be achieved without violating the norms. To help the agents in this process, agents can make use of predefined (knowledge-based) protocols, which are designed to help reach a goal without violating any of the norms. But how can we guarantee that these protocols are actually norm-compliant? Can these protocols really realise results without violating the norms? In this paper we introduce a formal method, based on program verification, for checking the norm compliance of (knowledge-based) protocols.
منابع مشابه
Verifying Norm Consistency in Electronic Institutions
Electronic institutions are a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. In this paper we elaborate on the verification of properties of electronic institutions based on the dialogues that agents may hold. Specifically, we provide a computational approach to assess whether an electronic institution is normatively consistent. In t...
متن کاملSpecifying and Verifying Compliance in Commitment Protocols by Mahadevan Venkatraman a Thesis Submitted to the Graduate Faculty of North Carolina State University in Partial Fulfillment of the Requirements for the Degree of Master of Science Department of Computer Science Raleigh
VENKATRAMAN, MAHADEVAN. Specifying and Verifying Compliance in Commitment Protocols (Under the direction of Dr. Munindar P. Singh). Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open systems, such as those that arise in most interesting web applications. A variety of com...
متن کاملSpecifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic
In this paper we present a technique for specifying and verifying communications protocols and demonstrate this approach by specifying and verifying two of the fundamental communications protocols, namely TCP and IP, which form the basis of many distributed systems. The logical formalism used is Mixed Intuitionistic Linear Logic in order to use both commutative and noncommutative operators to m...
متن کاملAn Attack on Digital Signature Protocol Based on Intruder’s Role Impersonate
Wang Xinbing, Ma Zheng, Huang Liansheng, Zhou Hongbin Department of Computer Science and Technology Tsinghua University, Beijing 100084 Abstract:Security protocols play more and more important role with the bursting development of Internet. Formal authentication is an effective way to detect flaws in those protocols. There are many automatic checkers for verifying protocols, but few can deal wi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005