1653 search results - page 105 / 331 » Timed analysis of security protocols |
160
click to vote
CRITIS
2009
15 years 4 months ago
2009
Abstract. With an increasing demand of inter-connectivity and protocol standardization modern cyber-critical infrastructures are exposed to a multitude of serious threats that may ...
172
click to vote
EUROCRYPT
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...
159
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
: It is well known that no security mechanism can provide full protection against a potential attack. There is always a possibility that a security incident may happen, mainly as a...
149
click to vote
ACMSE
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we propose a routing protocol that is based on securing the routing information from unauthorized users. Even though routing protocols of this category are already ...
164
click to vote
ACSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
Methods are presented to increase resiliency to server failures by migrating long running, secure TCP-based connections to backup servers, thus mitigating damage from servers disa...