Sciweavers

127
Voted
ESORICS
1994
Springer
15 years 4 months ago
A Calculus for Secure Channel Establishment in Open Networks
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...
Ueli M. Maurer, Pierre E. Schmid
CCS
1994
ACM
15 years 4 months ago
The Design and Implementation of Tripwire: A File System Integrity Checker
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...
Gene H. Kim, Eugene H. Spafford
115
Voted
CCS
1994
ACM
15 years 4 months ago
Application Access Control at Network Level
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...
Refik Molva, Erich Rütsche
114
Voted
CSFW
1994
IEEE
15 years 4 months ago
Conceptual Foundations for a Model of Task-based Authorizations
Ravi S. Sandhu, Roshan K. Thomas
109
Voted
ESORICS
1994
Springer
15 years 4 months ago
The ESPRIT Project CAFE - High Security Digital Payment Systems
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...
Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, ...
Security Privacy
Top of PageReset Settings