177 search results - page 16 / 36 » Provably Secure Key Exchange: An Engineering Approach |
101
click to vote
ICSR
2011
Springer
14 years 1 months ago
2011
Springer
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...
CRYPTO
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We propose a way to establish peer-to-peer authenticated communications over an insecure channel by using an extra channel which can authenticate very short strings, e.g....
ADHOCNOW
2010
Springer
14 years 11 months ago
2010
Springer
Designing message integrity schemes for data aggregation is an imperative problem for securing wireless sensor networks. In this paper, we propose three secure aggregation schemes ...
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
—The key idea of dynamic spectrum access (DSA) networks is to allow the secondary, unlicensed users to detect and use unused portions of the spectrum (white spaces) opportunistic...
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...