5488 search results - page 249 / 1098 » On the Secure Implementation of Security Protocols |
161
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
Strand space analysis [13, 12] is a method for stating and proving correctness properties for cryptographic protocols. In this paper we apply the same method to the related proble...
164
click to vote
ISW
2005
Springer
16 years 3 days ago
2005
Springer
We present a fully symmetric constant round authenticated group key agreement protocol in dynamic scenario. Our proposed scheme achieves forward secrecy and is provably secure und...
164
click to vote
CRYPTO
2008
Springer
15 years 8 months ago
2008
Springer
We present the first general protocol for secure multiparty computation in which the total amount of work required by n players to compute a function f grows only polylogarithmical...
170
click to vote
IPL
2006
15 years 6 months ago
2006
We present complexity results for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebr...
158
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol was analyzed alone and shown to meet some security goals, will it...