177 search results - page 10 / 36 » Provably Secure Key Exchange: An Engineering Approach |
IJNSEC
2008
14 years 9 months ago
2008
In this paper, we first present a concrete formal protocol design approach, which is based on authentication tests, to create an Efficient and Secure Internet Key Exchange (ESIKE)...
ISPEC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Side-channel attacks are a very powerful cryptanalytic technique. Li and Gu [ProvSec’07] proposed an approach against side-channel attacks, which states that a symmetri...
112
click to vote
TCC
2010
Springer
15 years 2 months ago
2010
Springer
We consider message authentication codes for streams where the key becomes known only at the end of the stream. This usually happens in key-exchange protocols like SSL and TLS wher...
IEEEARES
2009
IEEE
15 years 4 months ago
2009
IEEE
—In this paper, we address the security of routing protocols. Internet routing protocols are subject to attacks in the control plane as well as the data plane. In the control pla...
116
click to vote
NDSS
2002
IEEE
15 years 2 months ago
2002
IEEE
In this paper we address the problem of secure communication and authentication in ad-hoc wireless networks. This is a difficult problem, as it involves bootstrapping trust betwe...