1117 search results - page 145 / 224 » A Compliance Model of Trust |
EUROPKI
2007
Springer
15 years 5 months ago
2007
Springer
Time Capsule Signature, first formalized by Dodis and Yum in Financial Cryptography 2005, is a digital signature scheme which allows a signature to bear a (future) time t so that t...
105
click to vote
ICNP
2009
IEEE
14 years 11 months ago
2009
IEEE
The Domain Name System (DNS) is integral to today's Internet. Name resolution for a domain is often dependent on servers well outside the control of the domain's owner. I...
146
click to vote
ICFP
2012
ACM
13 years 4 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
129
click to vote
COOPIS
2002
IEEE
15 years 6 months ago
2002
IEEE
The paper describes a design of a peer-to-peer system which is being developed currently to support file and service (help, advise) sharing in research groups and groups of learner...
101
click to vote
IJIT
2004
15 years 3 months ago
2004
We present a new model for undeniable signatures: fair-anonymous undeniable signatures. This protocol can not only preserve the privacy of the signer (i.e. anonymity) but also trac...