741 search results - page 141 / 149 » Verification of security protocols using LOTOS-method and ap... |
176
Voted
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
Diagnosing production run failures is a challenging yet important task. Most previous work focuses on offsite diagnosis, i.e. development site diagnosis with the programmers prese...
165
Voted
EUROCRYPT
2003
Springer
15 years 11 months ago
2003
Springer
A new public-key model for resettable zero-knowledge (rZK) protocols, which is an extension and generalization of the upper-bounded public-key (UPK) model introduced by Micali and ...
167
Voted
ACSAC
2005
IEEE
16 years 8 hour ago
2005
IEEE
As evidenced by the proliferation of phishing attacks and keystroke loggers, we know that human beings are not wellequipped to make trust decisions about when to use their passwor...
163
Voted
IEEECIT
2009
IEEE
16 years 1 months ago
2009
IEEE
—With virtual machine technology, distributed services deployed in multiple cooperative virtual machines, such as multi-tier web services, may reside on one physical machine. Thi...
159
Voted
AINA
2006
IEEE
16 years 13 days ago
2006
IEEE
In the network-centric approach to information operations, users share information robustly by means of a secure infrastructure that enables self-synchronization and, ultimately, ...