757 search results - page 80 / 152 » How secure are secure interdomain routing protocols |
NORDSEC
2009
Springer
14 years 2 months ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...
SP
2006
IEEE
14 years 1 months ago
2006
IEEE
Recently several researchers and practitioners have begun to address the problem of how to set up secure communication between two devices without the assistance of a trusted thir...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
The Internet Chess Club (ICC) is a popular online chess server with more than 30,000 members worldwide including various celebrities and the best chess players in the world. Altho...
ESORICS
2002
Springer
14 years 7 months ago
2002
Springer
Abstract. In this paper, we consider how one can analyse a stream authentication protocol using model checking techniques. In particular, we will be focusing on the Timed Efficient...