Naslov
Verification of Communication Protocols in a Multi-agent System

Autori
Bagić, Marina ; Babac, Aleksandar ; Kunštić, Marijan

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the Fifth International Conference on Soft Computing as Transdisciplinary Science and Technology / Chbeir, R. ; Badr, Y ; Abraham, A. ; Laurent, D. ; Ferri, F. - Cergy-Pontoise : The Association for Computing Machinery (ACM), 2008, 286-291

ISBN
978-1-60558-046-3

Skup
The fifth International Conference on Soft Computing as Transdisciplinary Science and Technology

Mjesto i datum
Cergy-Pontoise, Francuska, 2831.10.2008

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Branching Tree Logic; Verification; ACTLW; Epistemic Reasoning

Sažetak
This paper provides a framework for specification and verification of intelligent agent-based systems, with the emphasis on their cognitive and reactive features. We use an epistemic transition system to specify the agents and an epistemic synchronous product to specify the multi-agent system. We verify the system by means of a special action-based logic - ACTLW for Epistemic Reasoning (ACTLW stands for Action Computation Tree Logic with Unless Operator). Using temporal and epistemic operators we create the appropriate formulae to check whether the relevant property holds, or the protocol works within the given conditions. We test our method by the example of security communication protocol called Dining Cryptographers.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika

POVEZANOST RADA