Description And Refinement Of The Certification Authority Attestation System Based On XYZ/E

As the computer network and information technology developing and blending increasingly, the Internet has already seeped in every aspect of our social activities. The Opening of the Internet makes business on-line in the risk of insecurity. It is becoming a hotspot in the research of network security, that how to guarantee the confidentiality, integrity, non-deniability, reliability of the information between the customers on the network, that building up and maintaining a kind of loyal environment and mechanism in the Internet. The CA (Certification Authority) attestation system is the solution commonly used at present.This paper introduces basic contents and current developments of the CA attestation system inland and abroad, and elaborates the software architecture description method based on the temporal logic language XYZ/E. In this paper, the thoughts of design and targets of the CA attestation system are put forwarded, and the architecture model of the CA attestation system is built up. It describes the CA attestation system architecture in the temporal logic language XYZ/E. It realizes the refinement process of the CA attestation system from the whole abstract specification to executable program, adopting the component-based refinement method for software architecture.The research presents that the CA attestation system from the high abstract description to low concrete implementation stepwise refined can be realized in the temporal logic language XYZ/E, which provides a new notion and method for the verification and analysis of the CA attestation system.