5255 search results - page 301 / 1051 » Formal Methods for Privacy |
134
Voted
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
It is sometimes desirable to allow access to open ports on a firewall only to authorized external users and present closed ports to all others. We examine ways to construct an au...
160
Voted
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
114
click to vote
ACISP
2003
Springer
15 years 10 months ago
2003
Springer
NTRU is an efficient public-key cryptosystem proposed by Hoffstein, Pipher, and Silverman. Assuming access to a decryption oracle, we show ways to recover the private key of NTRU ...
144
click to vote
ESORICS
2003
Springer
15 years 9 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
136
click to vote
ACSAC
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper proposes a fair electronic gambling scheme for the Internet. The proposed scheme provides a unique link between payment and gambling outcome so that the winner can be e...