1690 search results - page 201 / 338 » A Security Framework for JXTA-Overlay |
203
click to vote
LICS
2007
IEEE
16 years 25 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
171
click to vote
CCS
2005
ACM
16 years 2 days ago
2005
ACM
We present a game-theoretic model of the interactions between server and clients in a constrained family of commercial P2P computations (where clients are financially compensated...
157
click to vote
CTRSA
2005
Springer
16 years 2 days ago
2005
Springer
Traditional password-based authentication and key-exchange protocols suffer from the simple fact that a single server stores the sensitive user password. In practice, when such a ...
193
click to vote
EUROCRYPT
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We propose and realize a definition of security for passwordbased key exchange within the framework of universally composable (UC) security, thus providing security guar...
170
click to vote
SWS
2004
ACM
15 years 12 months ago
2004
ACM
W3C Recommendations XML Encryption and XML-Digital Signature can be used to protect the confidentiality of and provide assurances about the integrity of XML documents transmitted...