718 search results - page 97 / 144 » Operational Semantics of Security Protocols |
WISEC
2010
ACM
14 years 1 months ago
2010
ACM
Currently, companies are about to optimize their internal processes by monitoring items they handle with Radio Frequency Identification (RFID). However, there is a risk that sens...
SOSP
2003
ACM
14 years 4 months ago
2003
ACM
We present a flexible architecture for trusted computing, called Terra, that allows applications with a wide range of security requirements to run simultaneously on commodity har...
IFIP
2009
Springer
14 years 2 months ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...
SIGCOMM
2010
ACM
13 years 8 months ago
2010
ACM
SSL/TLS is a standard protocol for secure Internet communication. Despite its great success, today's SSL deployment is largely limited to security-critical domains. The low a...
USS
2010
13 years 5 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...