3115 search results - page 502 / 623 » Synthesizing Secure Protocols |
152
click to vote
CN
2004
15 years 5 months ago
2004
In secure group communications, a key server can deliver a "grouporiented" rekey message [22] to a large number of users efficiently using multicast. For reliable delive...
146
click to vote
IFIP
2010
Springer
15 years 17 days ago
2010
Springer
Abstract. This paper extends existing models for collaborative systems. We investigate how much damage can be done by insiders alone, without collusion with an outside adversary. I...
188
click to vote
ASIACRYPT
2011
Springer
14 years 5 months ago
2011
Springer
The assumption of the availability of tamper-proof hardware tokens has been used extensively in the design of cryptographic primitives. For example, Katz (Eurocrypt 2007) suggests ...
170
click to vote
BIRTHDAY
2012
Springer
14 years 1 months ago
2012
Springer
The 40 thieves realize that the fortune in their cave is vanishing. A rumor says that Ali Baba has been granted access (in the form of a certificate) to the cave but they need evi...
154
click to vote
CCS
2009
ACM
16 years 6 months ago
2009
ACM
Inlined Reference Monitor (IRM) is an established enforcement mechanism for history-based access control policies. IRM enforcement injects monitoring code into the binary of an un...