3115 search results - page 133 / 623 » Synthesizing Secure Protocols |
ACSAC
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper describes various possible attacks on temporal properties such as temporal records of payment times and declarations of the closing times for electronic submissions, an...
122
click to vote
EUROCRYPT
2008
Springer
14 years 11 months ago
2008
Springer
Recently, Aumann and Lindell introduced a new realistic security model for secure computation, namely, security against covert adversaries. The main motivation was to obtain secure...
MOBISEC
2009
Springer
15 years 4 months ago
2009
Springer
Explosive growth of the Internet and lack of mechanisms that validate the authenticity of a packet source produced serious security and accounting issues. In this paper, we propose...
109
click to vote
SP
2003
IEEE
15 years 3 months ago
2003
IEEE
We present Mixminion, a message-based anonymous remailer protocol with secure single-use reply blocks. Mix nodes cannot distinguish Mixminion forward messages from reply messages,...
ICISS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Computer systems security area has received increased attention from both academics and in industry. However, recent work indicates that substantial security gaps emerge ...