13 search results - page 1 / 3 » csfw 2002 |
92
Voted
CSFW
2002
IEEE
15 years 6 months ago
2002
IEEE
91
Voted
CSFW
2002
IEEE
15 years 6 months ago
2002
IEEE
100
Voted
CSFW
2002
IEEE
15 years 6 months ago
2002
IEEE
The strand spaces model and the rank functions model have both been used successfully to analyse and verify security protocols running on unbounded networks. At first sight, thes...
119
Voted
CSFW
2002
IEEE
15 years 6 months ago
2002
IEEE
We extend definitions of information flow so as to quantify the amount of information passed; in other words, we give a formal definition of the capacity of covert channels. Ou...
116
Voted
CSFW
2002
IEEE
15 years 6 months ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...