4820 search results - page 181 / 964 » Implementing Signatures for C |
CCS
2010
ACM
15 years 10 months ago
2010
ACM
Even though role-based access control (RBAC) can tremendously help us minimize the complexity in administering users, it is still needed to realize the notion of roles at the reso...
127
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
For most basic cryptographic tasks, such as public key encryption, digital signatures, authentication, key exchange, and many other more sophisticated tasks, ideal functionalities...
173
click to vote
ACISICIS
2007
IEEE
15 years 9 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...
126
click to vote
CSFW
2007
IEEE
15 years 9 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...
127
click to vote
SP
2006
IEEE
15 years 9 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...