644 search results - page 124 / 129 » Adaptive security protocol selection for mobile computing |
CMSB
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
ICNS
2009
IEEE
14 years 1 months ago
2009
IEEE
—The majority of security protocols employ public key cryptography for authentication at least in the connection setup phase. However, verifying digital signatures is an expensiv...
INFOCOM
2008
IEEE
14 years 1 months ago
2008
IEEE
—Achieving secure time-synchronization in wireless sensor networks (WSNs) is a challenging, but very important problem that has not yet been addressed effectively. This paper pro...
ESAS
2004
Springer
14 years 3 days ago
2004
Springer
The common perception of public key cryptography is that it is complex, slow and power hungry, and as such not at all suitable for use in ultra-low power environments like wireless...
IWAN
2000
Springer
13 years 10 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...