3115 search results - page 480 / 623 » Synthesizing Secure Protocols |
144
click to vote
ICISC
2001
15 years 7 months ago
2001
Abstract. In this work we present a security model for low-value transactions in ad-hoc networks in which we focus on authentication since this is the core requirement for commerci...
172
click to vote
WMI
2001
15 years 7 months ago
2001
This paper presents a novel wireless access point architecture designed to support the development of next generation mobile context-aware applications over metropolitan scale are...
168
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
We present a novel hybrid communication protocol that guarantees mobile users' k-anonymity against a wide-range of adversaries by exploiting the capability of handheld devices...
161
click to vote
COMPUTER
2008
15 years 6 months ago
2008
Man-in-the-middle (MITM) attacks pose a serious threat to SSL/TLS-based e-commerce applications, such as Internet banking. SSL/TLS session-aware user authentication can be used to ...
125
click to vote
JALC
2006
15 years 5 months ago
2006
In this paper we present an extension of Dolev-Yao models for security protocols with a notion of random polynomial-time (Las Vegas) computability. First we notice that Dolev-Yao ...