126 search results - page 4 / 26 » A Model Checking Approach to Protocol Conversion |
PRICAI
2000
Springer
14 years 10 days ago
2000
Springer
It is possible to define conversation policies, such as communication or dialogue protocols, that are based strictly on what messages and, respectively, what performatives may foll...
SCN
2011
Springer
13 years 3 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
IEAAIE
2011
Springer
13 years 6 days ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
CSFW
2004
IEEE
14 years 15 days ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
DALT
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...