1612 search results - page 113 / 323 » About models of security protocols |
170
click to vote
TMC
2012
13 years 6 months ago
2012
—A number of protocols and mechanisms have been proposed to address the problem of initial secure key deployment in wireless networks. Most existing approaches work either with a...
129
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Computational Indistinguishability Logic (CIL) is a logic for reasoning about cryptographic primitives in computational models. It captures reasoning patterns that are common in p...
160
click to vote
DEXAW
2008
IEEE
15 years 5 months ago
2008
IEEE
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...
126
click to vote
FOCS
2004
IEEE
15 years 7 months ago
2004
IEEE
A desirable goal for cryptographic protocols is to guarantee security when the protocol is composed with other protocol instances. Universally Composable (UC) protocols provide th...
118
click to vote
EUROCRYPT
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. The notion of resettable zero-knowledge (rZK) was introduced by Canetti, Goldreich, Goldwasser and Micali (FOCS'01) as a strengthening of the classical notion of zer...