1843 search results - page 6 / 369 » Securing Class Initialization |
OOPSLA
2000
Springer
13 years 11 months ago
2000
Springer
ESORICS
2003
Springer
14 years 17 days ago
2003
Springer
Abstract. Key exchange protocols in the setting of universal composability are investigated. First we show that the ideal functionality FKE of [9] cannot be realized in the presenc...
CSFW
1999
IEEE
13 years 11 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
—Proxies provide important rendezvous service in the Session Initiation Protocol (SIP), but it comes at a cost to privacy. A SIP proxy is privy to all of the signaling exchanged ...
EUROCRYPT
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. In the bounded-storage model (BSM) for information-theoretically secure encryption and key-agreement one uses a random string R whose length t is greater than the assumed...