Verification of Communication Protocols in a Multi-agent System (CROSBI ID 542882)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Bagić, Marina ; Babac, Aleksandar ; Kunštić, Marijan
engleski
Verification of Communication Protocols in a Multi-agent System
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.
Branching Tree Logic; Verification; ACTLW; Epistemic Reasoning
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
286-291.
2008.
objavljeno
Podaci o matičnoj publikaciji
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)
978-1-60558-046-3
Podaci o skupu
The fifth International Conference on Soft Computing as Transdisciplinary Science and Technology
predavanje
01.01.2008-01.01.2008
Cergy-Pontoise, Francuska