154 search results - page 18 / 31 » Modeling and Analyzing Security in the Presence of Compromis... |
EUROCRYPT
2010
Springer
14 years 9 days ago
2010
Springer
We analyze the relation between induction, co-induction and the presence of encryption cycles in the context of computationally sound symbolic equivalence of cryptographic express...
BROADNETS
2006
IEEE
14 years 1 months ago
2006
IEEE
Secure routing protocols for mobile ad hoc networks have been developed recently, yet, it has been unclear what are the properties they achieve, as a formal analysis of these prot...
WPES
2006
ACM
14 years 1 months ago
2006
ACM
Connections in distributed systems, such as social networks, online communities or peer-to-peer networks, form complex graphs. These graphs are of interest to scientists in field...
POPL
2005
ACM
14 years 1 months ago
2005
ACM
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...
TCC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We construct an intrusion-resilient symmetric-key authenticated key exchange (AKE) protocol in the bounded retrieval model. The model employs a long shared private key to...