218 search results - page 14 / 44 » Preservation of epistemic properties in security protocol im... |
303
click to vote
POPL
2001
ACM
16 years 6 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
163
click to vote
ICCSA
2007
Springer
16 years 5 days ago
2007
Springer
Deniability is defined as a privacy property which enables protocol principals to deny their involvement after they had taken part in a particular protocol run. Lately, Chou et al....
168
click to vote
MONET
2010
15 years 4 months ago
2010
It is well recognized that security is vital for reliable operation of vehicular ad-hoc networks (VANETs). Location privacy is one of the main security challenges in VANETs, which ...
180
click to vote
ESORICS
2005
Springer
15 years 11 months ago
2005
Springer
The freedom and transparency of information flow on the Internet has heightened concerns of privacy. Given a set of data items, clustering algorithms group similar items together...
179
click to vote
USS
2010
15 years 3 months ago
2010
Current Electronic Toll Pricing (ETP) implementations rely on on-board units sending fine-grained location data to the service provider. We present , a privacy-preserving ETP syst...