5488 search results - page 834 / 1098 » On the Secure Implementation of Security Protocols |
189
click to vote
CSFW
2010
IEEE
15 years 9 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
182
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We extend the Camenisch-Lysyanskaya anonymous credential system such that selective disclosure of attributes becomes highly efficient. The resulting system significantly improves ...
179
click to vote
SDM
2007
SIAM
15 years 8 months ago
2007
SIAM
Abnormal events, such as security attacks, misconfigurations, or electricity failures, could have severe consequences toward the normal operation of the Border Gateway Protocol (...
163
click to vote
CASCON
2003
15 years 8 months ago
2003
Electronic commerce servers have a significant presence in today’s Internet. Corporations require good performance for their business processes. To date, little empirical evide...
197
click to vote
LATINCRYPT
2010
15 years 5 months ago
2010
the full version of the extended abstract which appears in Latincrypt '10 (august 8-11, 2010, Puebla, Mexico) M. Abdalla and P. Barreto Eds., Springer-Verlag, LNCS 6212, pages...