8 search results - page 2 / 2 » provsec 2007 |
PROVSEC
2007
Springer
13 years 10 months ago
2007
Springer
In a threshold broadcast encryption scheme, a sender chooses (ad-hoc) a set of n receivers and a threshold t, and then encrypts a message by using the public keys of all the recei...
PROVSEC
2007
Springer
13 years 10 months ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...
PROVSEC
2007
Springer
13 years 10 months ago
2007
Springer
In this paper we study security definitions for authenticated key exchange (AKE) protocols. We observe that there are several families of attacks on AKE protocols that lie outsid...