372 search results - page 11 / 75 » Model Checking Commitment Protocols |
EUROPAR
1998
Springer
14 years 29 days ago
1998
Springer
Database replication protocols have historically been built on top of distributed database systems, and have consequently been designed and implemented using distributed transacti...
PKC
2010
Springer
13 years 10 months ago
2010
Springer
We revisit the problem of constructing efficient secure two-party protocols for the problems of setintersection and set-union, focusing on the model of malicious parties. Our main...
SAM
2004
13 years 10 months ago
2004
We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security pr...
CHARME
2001
Springer
14 years 11 days ago
2001
Springer
We consider the formal verification of the cache coherence protocol of the Stanford FLASH multiprocessor for N processors. The proof uses the SMV proof assistant, a proof system ba...
EUROCRYPT
2011
Springer
13 years 6 days ago
2011
Springer
We define the BQS-UC model, a variant of the UC model, that deals with protocols in the bounded quantum storage model. We present a statistically secure commitment protocol in th...