3486 search results - page 316 / 698 » On the Design and Security of RC2 |
202
click to vote
CSFW
2006
IEEE
16 years 28 days ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
169
click to vote
HICSS
2006
IEEE
16 years 27 days ago
2006
IEEE
Over the last several years, the Computer Science (CS) community has put a great deal of effort in to the area of security research, and have made great advances. Counterintuitive...
176
click to vote
SP
2006
IEEE
16 years 26 days ago
2006
IEEE
Linux is the most popular open source project. The Linux random number generator is part of the kernel of all Linux distributions and is based on generating randomness from entrop...
163
click to vote
MMSEC
2006
ACM
16 years 24 days ago
2006
ACM
Current zero-knowledge watermark detectors are based on a linear correlation between the asset features and a given secret sequence. This detection function is susceptible of bein...
167
Voted
ACSAC
2005
IEEE
16 years 15 days ago
2005
IEEE
Client-server applications often do not scale well when a large number of clients access a single server. To solve this, a new trend is to allow a client to download data from oth...