145
click to vote
ESORICS
1994
Springer
15 years 7 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...