Andere Kunden interessierten sich auch für
![Hot Swapping Protocol Implementations in the OPNET Modeler Development Environment]( "Hot Swapping Protocol Implementations in the OPNET Modeler Development Environment")
Hot Swapping Protocol Implementations in the OPNET Modeler Development Environment63,99 €![Children's literature and simple early childhood problems]( "Children's literature and simple early childhood problems")
Children's literature and simple early childhood problems32,99 €![Using Think- aloud protocol to investigate the writing strategy use]( "Using Think- aloud protocol to investigate the writing strategy use")
Using Think- aloud protocol to investigate the writing strategy use36,99 €![Teaching Design and Technology at Key Stages 1 and 2]( "Teaching Design and Technology at Key Stages 1 and 2")
Teaching Design and Technology at Key Stages 1 and 232,99 €![Key Issues in Education and Social Justice]( "Key Issues in Education and Social Justice")
Key Issues in Education and Social Justice84,99 €![Key Issues in Education and Social Justice]( "Key Issues in Education and Social Justice")
Key Issues in Education and Social Justice27,99 €![Casting in training: the key to transfer]( "Casting in training: the key to transfer")
Casting in training: the key to transfer39,99 €
Secure electronic communication is based on secrecy, authentication and authorization. One means of assuring a communication has these properties is to use Public Key Cryptography (PKC). The framework consisting of standards, protocols and instructions that make PKC usable in communication applications is called a Public Key Infrastructure (PKI). This thesis aims at proving the applicability of the Simple Public Key Infrastructure (SPKI) as a means of PKC. The strand space approach of Guttman and Thayer is used to provide an appropriate model for analysis. A Diffie-Hellman strand space model is combined with mixed strand space proof methods for proving the correctness of multiple protocols operating in the same context. The result is the public key mixed strand space model. This model is ideal for the analysis of SPKI applications operating as sub-protocols of an implementing application. This thesis then models the popular Internet Transport Layer Security (TLS) protocol as a public key mixed strand space model. The model includes the integration of SPKI certificates. To accommodate the functionality of SPKI, a new protocol is designed for certificate validation, the Certificate Chain Validation Protocol (CCV). The CCV protocol operates as a sub-protocol to TLS and provides online certificate validation. The security of the TLS protocol integrated with SPKI certificates and sub-protocols is then analyzed to prove its security properties. The results show that the modified TLS protocol exhibits the same security guarantees in isolation as it does when executing its own sub-protocols and the SPKI Certificate Chain Validation protocol.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.