39 search results - page 7 / 8 » Challenges in the Automated Verification of Security Protoco... |
CCS
2006
ACM
14 years 4 days ago
2006
ACM
Home medical devices enable individuals to monitor some of their own health information without the need for visits by nurses or trips to medical facilities. This enables more con...
DAC
2004
ACM
14 years 9 months ago
2004
ACM
The growing number of instances of breaches in information security in the last few years has created a compelling case for efforts towards secure electronic systems. Embedded sys...
HIP
2005
Springer
14 years 1 months ago
2005
Springer
Efforts to defend against automated attacks on e-commerce services have led to a new security protocol known as a CAPTCHA, a challenge designed to exploit gaps in the perceptual a...
LICS
1999
IEEE
14 years 21 days ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
ACSAC
2001
IEEE
14 years 2 days ago
2001
IEEE
Shared Care is the common answer to the challenge for improving health system's quality and efficiency. This development must be accompanied by implementing shared care infor...