219 search results - page 28 / 44 » Browser Model for Security Analysis of Browser-Based Protoco... |
ESORICS
2010
Springer
13 years 9 months ago
2010
Springer
Safety critical applications for recently proposed vehicle to vehicle ad-hoc networks (VANETs) rely on a beacon signal, which poses a threat to privacy since it could allow a vehic...
FSTTCS
2003
Springer
14 years 1 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
—A key agreement protocol is a protocol whereby two or more communicating parties can agree on a key or exchange information over an open communication network in such a way that...
ASIASIM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. SSL is one of the most popular protocols used on the Internet for secure communications. However SSL protocol has several problems. First, SSL protocol brings considerabl...
EUROCRYPT
2010
Springer
14 years 1 months ago
2010
Springer
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...