136
Voted
CSFW
1997
IEEE
15 years 7 months ago
1997
IEEE
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...
178
Voted
CSFW
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
125
Voted
CSFW
1997
IEEE
15 years 7 months ago
1997
IEEE
110
Voted
CSFW
1997
IEEE
15 years 7 months ago
1997
IEEE
98
Voted
CSFW
1997
IEEE
15 years 7 months ago
1997
IEEE
104
Voted
CSFW
1997
IEEE
15 years 7 months ago
1997
IEEE
122
Voted
CSFW
1997
IEEE
15 years 7 months ago
1997
IEEE
Abstract— Replay attacks on security protocols have been discussed for quite some time in the literature. However, the efforts to address these attacks have been largely incomple...