478 search results - page 88 / 96 » Secure Sockets Layer |
ISW
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
ETRA
2010
ACM
14 years 23 days ago
2010
ACM
There has been increased interest in reliable, non-intrusive methods of biometric identification due to the growing emphasis on security and increasing prevalence of identity thef...
ACSAC
2002
IEEE
14 years 13 days ago
2002
IEEE
Safe virtual execution (SVE) allows a host computer system to reduce the risks associated with running untrusted programs. SVE prevents untrusted programs from directly accessing ...
MOBISYS
2008
ACM
13 years 9 months ago
2008
ACM
Mobile phones have evolved into complex systems as they have more and more new applications built-in. As a result, they are less reliable and less secure than before. Virtual Mach...
CONEXT
2009
ACM
13 years 8 months ago
2009
ACM
Dense, unmanaged 802.11 deployments tempt saboteurs into launching jamming attacks by injecting malicious interference. Nowadays, jammers can be portable devices that transmit int...