36 search results - page 3 / 8 » Formal Protocol Design of ESIKE Based on Authentication Test... |
FC
2010
Springer
13 years 9 months ago
2010
Springer
—This paper discusses public-key authenticated key agreement protocols. First, we critically analyze several authenticated key agreement protocols and uncover various theoretical...
ASIACRYPT
2009
Springer
14 years 11 days ago
2009
Springer
Abstract. We describe a public-key encryption scheme based on lattices — specifically, based on the hardness of the learning with error (LWE) problem — that is secure against ...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
: We propose a new platform for implementing secure wireless ad hoc networks. Our proposal is based on a modular architecture, with the software stack constructed directly on the E...
FATES
2004
Springer
13 years 11 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
MSWIM
2006
ACM
13 years 11 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...