372 search results - page 33 / 75 » Model Checking Commitment Protocols |
119
click to vote
FORTE
2004
15 years 1 months ago
2004
Numerous specialized ad hoc routing protocols are currently proposed for use, or being implemented. Few of them have been subjected to formal verification. This paper evaluates two...
89
Voted
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
We have measured the performance of transactional remote invocations over three commonly used transports: IIOP, SOAP/HTTP, and JBoss Remoting. In the IIOP case, our transactional ...
CRYPTO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We propose a new and efficient signature scheme that is provably secure in the plain model. The security of our scheme is based on a discrete-logarithm-based assumption p...
110
click to vote
CRYPTO
2004
Springer
15 years 5 months ago
2004
Springer
We propose the first distributed discrete-log key generation (DLKG) protocol from scratch which is adaptively-secure in the non-erasure model, and at the same time completely avoi...
94
Voted
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...