127
Voted
ESORICS
15 years 4 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...
117
click to vote
CCS
15 years 4 months ago
1994 ACM
At the heart of most computer systems is a file system. The file system contains user data, executable programs, configuration and authorization information, and (usually) the bas...
115
Voted
CCS
15 years 4 months ago
1994 ACM
This paper describes an access control mechanism that enforces at the network level an access control decision that is taken at the application level. The mechanism is based on th...
114
Voted
CSFW
15 years 4 months ago
1994 IEEE 109
Voted
ESORICS
15 years 4 months ago
1994 Springer
CAFE ("Conditional Access for Europe") is an ongoing project in the European Community's ESPRIT program. The goal of CAFE is to develop innovative systems for condit...
|