7 search results - page 1 / 2 » csfw 1997 |
102
Voted
CSFW
1997
IEEE
15 years 7 months ago
1997
IEEE
97
Voted
CSFW
1997
IEEE
15 years 7 months ago
1997
IEEE
123
Voted
CSFW
1997
IEEE
15 years 7 months ago
1997
IEEE
177
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 ...