461 search results - page 62 / 93 » Developing security protocols by refinement |
IEEECGIV
2006
IEEE
14 years 1 months ago
2006
IEEE
New technological developments offer new collaborative design environments to designers. There is a great interest in these new tools however it is clear that we know very little ...
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
LISA
2001
13 years 9 months ago
2001
SSH is a widely used application that provides secure remote login. It uses strong cryptography to provide authentication and confidentiality. The IETF SecSH working group is deve...
WISA
2009
Springer
14 years 12 days ago
2009
Springer
We introduce low-cost hardware for performing non-invasive side-channel attacks on Radio Frequency Identi cation Devices (RFID) and develop techniques for facilitating a correlatio...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—The group signature based security scheme is a promising approach to provision privacy in vehicular ad hoc networks (VANETs). In this paper, we propose a novel distributed key m...