Sciweavers

985 search results - page 34 / 197
» On the validity of digital signatures
Sort
View
ICCAD
1996
IEEE
144views Hardware» more  ICCAD 1996»
14 years 29 days ago
Validation coverage analysis for complex digital designs
The functional validation of a state-of-the-art digital design is usually performed by simulation of a register-transfer-level model. The degree to which the testvector suite cove...
Richard C. Ho, Mark Horowitz
SIGMOD
2001
ACM
134views Database» more  SIGMOD 2001»
14 years 9 months ago
Preservation of Digital Data with Self-Validating, Self-Instantiating Knowledge-Based Archives
Digital archives are dedicated to the long-term preservation of electronic information and have the mandate to enable sustained access despite rapid technology changes. Persistent...
Bertram Ludäscher, Richard Marciano, Reagan Moore
WEBIST
2007
13 years 10 months ago
Representing and Validating Digital Business Processes
Ernesto Damiani, Paolo Ceravolo, Cristiano Fugazza...
ACNS
2007
Springer
129views Cryptology» more  ACNS 2007»
14 years 3 months ago
Gradually Convertible Undeniable Signatures
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...
Laila El Aimani, Damien Vergnaud
IMA
2001
Springer
79views Cryptology» more  IMA 2001»
14 years 1 months ago
On Rabin-Type Signatures
Abstract. This paper specializes the signature forgery by Coron, Naccache and Stern (1999) to Rabin-type systems. We present a variation in which the adversary may derive the priva...
Marc Joye, Jean-Jacques Quisquater