1653 search results - page 147 / 331 » Timed analysis of security protocols |
138
Voted
IJISEC
2007
15 years 3 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
147
click to vote
ESORICS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
115
Voted
ACSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
Securely authenticating a human user without assistance from any auxiliary device in the presence of powerful passive adversaries is an important and challenging problem. Passive ...
132
click to vote
VTC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— In this paper, we propose a cross-layer partnerbased fast handoff mechanism based on HMIPv6, called as PHMIPv6 protocol. Our PHMIPv6 protocol is a cross-layer, layer-2 ...
136
Voted
ADHOCNOW
2006
Springer
15 years 9 months ago
2006
Springer
We consider an ad-hoc network consisting of devices that try to gain access for transmission through a shared communication channel. We redesign randomized protocol of Cai, Lu and ...