1059 search results - page 119 / 212 » Modeling Security Protocols as Games |
GSEM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper outlines an original Computational Grid deployment protocol which is entirely based on Java, leveraging the portability of this language for distributing custo...
155
Voted
FOCS
2003
IEEE
15 years 5 months 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...
133
Voted
PERCOM
2005
ACM
16 years 5 days 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...
116
Voted
TCC
2009
Springer
16 years 1 months ago
2009
Springer
The first and still most popular solution for secure two-party computation relies on Yao's garbled circuits. Unfortunately, Yao's construction provide security only again...
106
Voted
PKC
2009
Springer
16 years 1 months ago
2009
Springer
We explore the security of blind signatures under aborts where the user or the signer may stop the interactive signature issue protocol prematurely. Several works on blind signatur...