308 search results - page 50 / 62 » A New Model for Public-Key Authentication |
110
click to vote
ISCC
2002
IEEE
15 years 4 months ago
2002
IEEE
Mobile ad hoc networking offers convenient infrastructureless communication over the shared wireless channel. However, the nature of ad hoc networks makes them vulnerable to secur...
100
click to vote
SP
2006
IEEE
15 years 5 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...
99
Voted
CSREASAM
2006
15 years 1 months ago
2006
Current computer security systems are based on the premise that once a user presents valid credentials to the authentication system (e.g. valid ID and password), they are granted ...
ACSC
2010
IEEE
14 years 6 months ago
2010
IEEE
This paper discusses the design and implementation of a payment framework that is loosely based on the direct debit payment model. We define such payments as one in which customer...
GLOBECOM
2009
IEEE
15 years 6 months ago
2009
IEEE
—Many results have been published in the literature based on performance measurements obtained from simulations of Vehicular Networks (VANETs). These simulations use as input tra...