3115 search results - page 18 / 623 » Synthesizing Secure Protocols |
STOC
2006
ACM
14 years 2 months ago
2006
ACM
We investigate the question of whether security of protocols in the information-theoretic setting (where the adversary is computationally unbounded) implies the security of these ...
SPW
1997
Springer
14 years 1 months ago
1997
Springer
There are many cases in the literature in which reuse of the same key material for different functions can open up security holes. In this paper, we discuss such interactions betw...
CN
2000
13 years 8 months ago
2000
Abstract-- The TCP/IP suite, the basis for today's Internet, lacks even the most basic mechanisms of authentication. As usage of the Internet increases, its scarcity of built-...
IFIP
2009
Springer
13 years 6 months ago
2009
Springer
Security protocols are crucial to achieve trusted computing. However, designing security protocols is not easy and so security protocols are typically faulty and have to be repaire...
WCNC
2008
IEEE
14 years 3 months ago
2008
IEEE
—Secure routing of Mobile Ad-hoc Networks (MANETs) is still a hard problem after years of research. We therefore propose to design a secure routing protocol in a new approach. Th...