Design and Verification of Security Protocol for Information Transmission in Digital Campus
This paper mainly studies application of formal design for security protocols in digital campus. With a comprehensive analysis on security requirements of information transmission in digital campus, an information transmission model is built from the viewpoint of information security. Based on this model, a new security protocol, called DCIT for short, is designed. The formal analysis shows that secrecy, integrity, availability, controllability, non-repudiation and identifiability of information during transmission could be insured by DCIT, which could be used as a direction for development of various application systems in digital campus, from the viewpoint of information security.
Suozhang Cai and Mingli Li
X. L. Li et al., "Design and Verification of Security Protocol for Information Transmission in Digital Campus", Advanced Materials Research, Vols. 532-533, pp. 1230-1234, 2012