741 search results - page 17 / 149 » Verification of security protocols using LOTOS-method and ap... |
135
click to vote
FORTE
2004
15 years 5 months ago
2004
Abstract. In this article we present a method to avoid security problems in modern m-commerce applications. The security problems that we are addressing are breaches of security du...
128
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Multisignatures allow n signers to produce a short joint signature on a single message. Multisignatures were achieved in the plain model with a non-interactive protocol in groups ...
115
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We present three voting protocols with unconditional privacy and information-theoretic correctness, without assuming any bound on the number of corrupt voters or voting authorities...
104
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...
121
click to vote
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
: It is well known that no security mechanism can provide full protection against a potential attack. There is always a possibility that a security incident may happen, mainly as a...