1679 search results - page 164 / 336 » Security Properties and CSP |
182
click to vote
ACISP
2007
Springer
16 years 21 days ago
2007
Springer
Recent advances in hash functions cryptanalysis provide a strong impetus to explore new designs. This paper describes a new hash function mq-hash that depends for its security on t...
183
click to vote
ACNS
2007
Springer
16 years 21 days ago
2007
Springer
In 1990, Boyar, Chaum, Damg˚ard and Pedersen introduced convertible undeniable signatures which limit the self-authenticating property of digital signatures but can be converted b...
154
click to vote
CSFW
2006
IEEE
16 years 17 days ago
2006
IEEE
A common theoretical assumption in the study of information flow security in Java-like languages is that pointers are opaque – i.e., that the only properties that can be observ...
162
click to vote
CSFW
2005
IEEE
16 years 3 days ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
164
click to vote
ITCC
2005
IEEE
16 years 2 days ago
2005
IEEE
As a general design criterion, a symmetric key cipher should not be closed under functional composition due to the implications on the security of the cipher. However, there are s...