372 search results - page 20 / 75 » Model Checking Commitment Protocols |
83
Voted
ENTCS
2007
15 years 14 days ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
CRYPTO
2008
Springer
15 years 2 months ago
2008
Springer
Prior approaches [15, 14] to building collusion-free protocols require exotic channels. By taking a conceptually new approach, we are able to use a more digitally-friendly communic...
89
Voted
DALT
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
110
Voted
ECBS
2006
IEEE
15 years 4 months ago
2006
IEEE
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...
116
Voted
CRYPTO
2006
Springer
15 years 4 months ago
2006
Springer
We present the first universally verifiable voting scheme that can be based on a general assumption (existence of a non-interactive commitment scheme). Our scheme is also the first...