632 search results - page 22 / 127 » Two Facets of Authentication |
SIGMOD
2009
ACM
14 years 10 months ago
2009
ACM
Database outsourcing requires that a query server constructs a proof of result correctness, which can be verified by the client using the data owner's signature. Previous aut...
AFRICACRYPT
2009
Springer
14 years 4 months ago
2009
Springer
We propose a generic modelling technique that can be used to extend existing frameworks for theoretical security analysis in order to capture the use of timestamps. We apply this t...
INFORMATICALT
2008
13 years 9 months ago
2008
The invention of public-key cryptography makes many new network applications, such as electronic commerce (CE), possible. However, the widely used Internet is open and unprotected....
WINET
2010
13 years 4 months ago
2010
In this paper, we consider filtering false reports in braided multipath routing sensor networks. While multipath routing provides better resilience to various faults in sensor net...
CSFW
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...