319 search results - page 6 / 64 » Cryptographic Assumptions: A Position Paper |
CSFW
2002
IEEE
14 years 3 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
VTC
2007
IEEE
14 years 5 months ago
2007
IEEE
— Vehicular communication (VC) systems have the potential to improve road safety and driving comfort. Nevertheless, securing the operation is a prerequisite for deployment. So fa...
IMC
2007
ACM
14 years 13 days ago
2007
ACM
The Secure Socket Layer (SSL) and its variant, Transport Layer Security (TLS), are used toward ensuring server security. In this paper, we characterize the cryptographic strength ...
ACNS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Supervisory Control And Data Acquisition (SCADA) systems are real-time process control systems that are widely deployed throughout critical infrastructure sectors includi...
WOWMOM
2009
ACM
14 years 5 months ago
2009
ACM
The proliferation of mobile computing devices and local wireless networks has promoted a growing interest in location-aware systems. The problem with existing positioning techniqu...