5324 search results - page 400 / 1065 » Internet Security Protocols |
208
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
218
click to vote
FOCS
2003
IEEE
16 years 2 days ago
2003
IEEE
Concurrent general composition relates to a setting where a secure protocol is run in a network concurrently with other, arbitrary protocols. Clearly, security in such a setting i...
183
click to vote
ECOOPW
1998
Springer
15 years 11 months ago
1998
Springer
Security is a fundamental precondition for the acceptance of mobile agent systems. In this paper we discuss protocols to improve agent security by distributing critical data and o...
205
click to vote
IJNSEC
2010
15 years 1 months ago
2010
Undeniable signatures were proposed to limit the public verification property of ordinary digital signature. In fact, the verification of such signatures cannot be obtained withou...
214
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
Unique and challenging security problems arise due to the scarcity of computational, storage, and power resources in the low-cost pervasive computing environment. Particularly rel...