3504 search results - page 630 / 701 » Secure protocol composition |
104
click to vote
FC
2010
Springer
15 years 5 months ago
2010
Springer
Since 2004, many nations have started issuing “e-passports” containing an RFID tag that, when powered, broadcasts information. It is claimed that these passports are more secur...
101
click to vote
FC
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents compact message formats for onion routing circuit construction using the Sphinx methodology developed for mixes. We significantly compress the circuit constru...
137
click to vote
APNOMS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. DoS(Denial of Service) / DDoS(Distributed Denial of Service) attacks threaten Internet security nowadays. However, the current Internet protocol and backbone network do n...
106
click to vote
ASIAN
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
113
click to vote
CARDIS
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we propose three smartcard-based variants of anonymous authentication using unique one-time pseudonyms. The first variant can be used to authenticate a user. However,...