372 search results - page 1 / 75 » Model Checking Commitment Protocols |
IEAAIE
2011
Springer
12 years 8 months 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 ...
ICDCSW
2000
IEEE
13 years 9 months ago
2000
IEEE
We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs th...
AAMAS
2007
Springer
13 years 5 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
OSDI
2008
ACM
14 years 5 months ago
2008
ACM
Transactional flash (TxFlash) is a novel solid-state drive (SSD) that uses flash memory and exports a transactional interface (WriteAtomic) to the higher-level software. The copy-...
CRYPTO
2001
Springer
13 years 9 months ago
2001
Springer
d Abstract) Ran Canetti and Marc Fischlin Abstract. We propose a new security measure for commitment protocols, called Universally Composable (UC) Commitment. The measure guarantee...