401 search results - page 55 / 81 » Delegatable Functional Signatures |
ACISICIS
2007
IEEE
14 years 3 months ago
2007
IEEE
Most region based shape image retrieval techniques in literature are complex to implement. As the result of their complex computations, the retrieval performance of these techniqu...
CSFW
2007
IEEE
14 years 3 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
GLOBECOM
2006
IEEE
14 years 2 months ago
2006
IEEE
- In recent years, many quantum cryptographic schemes have been proposed. However, it seems that there are many technical difficulties to realize them (except Quantum Key Distribut...
SP
2006
IEEE
14 years 2 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
MMMACNS
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes a novel approach for preventative protection from both known and previously unknown malicious software. It does not rely on screening the code for signatures ...