947 search results - page 29 / 190 » Provable Implementations of Security Protocols |
110
click to vote
JOC
2000
14 years 11 months ago
2000
Abstract. Since the appearance of public-key cryptography in the seminal DiffieHellman paper, many new schemes have been proposed and many have been broken. Thus, the simple fact t...
109
click to vote
ACSAC
1998
IEEE
15 years 4 months ago
1998
IEEE
Protocols to facilitate secure electronic delivery are necessary if the Internet is to achieve its true potential as a business communications tool. We present a protocol for secu...
ISW
2004
Springer
15 years 5 months ago
2004
Springer
We study the security challenges faced by the mobile agent paradigm, where code travels and performs computations on remote hosts in an autonomous manner. We define universally co...
FC
2007
Springer
15 years 6 months ago
2007
Springer
While transparency in financial markets should enhance liquidity, its exploitation by unethical and parasitic traders discourages others from fully embracing disclosure of their o...
76
Voted
ACSAC
2006
IEEE
15 years 5 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toy...