4488 search results - page 840 / 898 » Properties of NP-Complete Sets |
ASIACRYPT
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. ESIGN is an efficient signature scheme that has been proposed in the early nineties (see [14]). Recently, an effort was made to lay ESIGN on firm foundations, using the...
CCS
2003
ACM
14 years 1 months ago
2003
ACM
We propose a new notion of cryptographic tamper evidence. A tamper-evident signature scheme provides an additional procedure Div which detects tampering: given two signatures, Div...
CHARME
2003
Springer
14 years 1 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
ISMIR
2003
Springer
14 years 1 months ago
2003
Springer
Automatic extraction of content description from commercial audio recordings has a number of important applications, from indexing and retrieval through to novel musicological ana...
ICNP
2002
IEEE
14 years 27 days ago
2002
IEEE
We consider several distributed collaborative key agreement protocols for dynamic peer groups. This problem has several important characteristics which make it different from trad...