5488 search results - page 318 / 1098 » On the Secure Implementation of Security Protocols |
209
click to vote
JOC
2011
15 years 1 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...
217
click to vote
FOCS
2003
IEEE
16 years 6 hour 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...
182
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...
202
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...
211
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...