3115 search results - page 300 / 623 » Synthesizing Secure Protocols |
236
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents SAgent, a general-purpose mobile agent security framework that is designed to protect the computations of mobile agent applications in potentially hostile envi...
182
click to vote
MSS
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper presents the implementation and performance evaluation of a real, secure object-based storage system compliant to the TIO OSD standard. In contrast to previous work, ou...
176
click to vote
CRYPTO
2011
Springer
14 years 6 months ago
2011
Springer
Secure computation enables mutually suspicious parties to compute a joint function of their private inputs while providing strong security guarantees. Amongst other things, even i...
185
click to vote
ICDCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Sensor nodes are often organized into clusters to facilitate many network operations such as data aggregation. Clustering has to be protected in hostile environments. Otherwise, a...
172
click to vote
ASIACRYPT
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The problem of proving a number is of a given arithmetic format with some prime elements, is raised in RSA undeniable signature, group signature and many other cryptograp...