741 search results - page 109 / 149 » Verification of security protocols using LOTOS-method and ap... |
161
click to vote
SP
2002
IEEE
15 years 3 months ago
2002
IEEE
Server-based collaborative filtering systems have been very successful in e-commerce and in direct recommendation applications. In future, they have many potential applications in...
138
click to vote
EUROCRYPT
2008
Springer
15 years 5 months ago
2008
Springer
ded abstract of this paper appears in Advances in Cryptology -- EUROCRYPT '08, Lecture Notes in Computer Science Vol. 4965, N. Smart ed., Springer-Verlag, 2008. This is the fu...
136
click to vote
PKC
2007
Springer
15 years 10 months ago
2007
Springer
We provide a positive result about the Fiat-Shamir (FS) transform in the standard model, showing how to use it to convert threemove identification protocols into two-tier signatur...
149
click to vote
SOCA
2007
IEEE
15 years 10 months ago
2007
IEEE
The emerging ubiquitous computing vision is characterized by decentralized and ad hoc interoperation among devices and networks for access to services. Interacting devices or grou...
139
click to vote
IACR
2011
14 years 3 months ago
2011
What does it mean for an encryption scheme to be leakage-resilient? Prior formulations require that the scheme remains semantically secure even in the presence of leakage, but onl...