1490 search results - page 75 / 298 » The Logic of Authentication Protocols |
111
Voted
CN
2000
15 years 3 months ago
2000
Abstract-- The TCP/IP suite, the basis for today's Internet, lacks even the most basic mechanisms of authentication. As usage of the Internet increases, its scarcity of built-...
135
Voted
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
134
Voted
MOBISEC
2009
Springer
15 years 10 months ago
2009
Springer
Explosive growth of the Internet and lack of mechanisms that validate the authenticity of a packet source produced serious security and accounting issues. In this paper, we propose...
116
Voted
CN
2000
15 years 3 months ago
2000
Passport is a protocol that enables users to sign onto many different merchants' web pages by authenticating themselves only once to a common server. This is important becaus...
151
Voted
ISW
2010
Springer
15 years 1 months ago
2010
Springer
We analyze the Extended Access Control (EAC) protocol for authenticated key agreement, recently proposed by the German Federal Office for Information Security (BSI) for the deploym...