741 search results - page 79 / 149 » Verification of security protocols using LOTOS-method and ap... |
124
click to vote
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
Most authentication protocols designed for ubiquitous computing environments try to solve the problem of intuitive, scalable, secure authentication of wireless communication. Due ...
115
Voted
NDSS
1998
IEEE
15 years 8 months ago
1998
IEEE
In this work, we aim to reduce the computational costs of using public-key digital signatures in securing routing protocols. Two protocols (COSP and IOSP) using one-time digitalsi...
171
click to vote
SCN
2010
Springer
15 years 1 months ago
2010
Springer
Serge Vaudenay [20] introduced a notion of Message Authentication (MA) protocols in the Short Authenticated String (SAS) model. A SAS-MA protocol authenticates arbitrarily long mes...
138
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Usage controls enable the provider of some information to limit how recipients may use it. Usage controls may be desirable in enterprise environments, e.g., for regulatory complia...
144
click to vote
CANS
2006
Springer
15 years 7 months ago
2006
Springer
Pairings on elliptic curves have been used as cryptographic primitives for the development of new applications such as identity based schemes. For the practical applications, it is...