490 search results - page 27 / 98 » Equivalent Keys of HPC |
124
Voted
INFORMATICALT
2010
14 years 11 months ago
2010
A proxy signature scheme enables an original signer to delegate its signing capability to a proxy signer and then the proxy signer can sign a message on behalf of the original sign...
103
click to vote
CRYPTO
2009
Springer
15 years 8 months ago
2009
Springer
We prove the equivalence, up to a small polynomial approximation factor n/ log n, of the lattice problems uSVP (unique Shortest Vector Problem), BDD (Bounded Distance Decoding) and...
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...
132
click to vote
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
110
click to vote
TC
2008
15 years 1 months ago
2008
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...