A Calculus for Secure Channel Establishment in Open Networks

8 years 11 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 abstraction. A channel is characterized by its direction, time of availability and its security properties. Cryptographic primitives and trust relations are interpreted as transformations for channel security properties, and cryptographic protocols can be viewed as combinations of such transformations. A protocol thus allows to transform a set of secure channels established during an initial setup phase, together with a set of insecure channels available during operation of the system, into the set of secure channels speci ed by the security requirements. The necessary and su cient requirements for establishing a secure channel between two entities are characterized in terms of secure channels to be made available during the initial setup phase and in terms of trust relations between users and or between users...
Ueli M. Maurer, Pierre E. Schmid
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1994
Authors Ueli M. Maurer, Pierre E. Schmid
Comments (0)