147 search results - page 7 / 30 » An intruder model for verifying liveness in security protoco... |
126
click to vote
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
Mobile ad hoc networks consist of mobile wireless devices which autonomously organize their infrastructure. In such a network, a central issue, ensured by routing protocols, is to ...
111
click to vote
ASM
2005
ASM
15 years 7 months ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
125
click to vote
CSFW
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
109
click to vote
ICNP
1998
IEEE
15 years 6 months ago
1998
IEEE
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...
94
Voted
CCS
2006
ACM
15 years 5 months ago
2006
ACM
Home medical devices enable individuals to monitor some of their own health information without the need for visits by nurses or trips to medical facilities. This enables more con...