¹Experimental teaching center, Guangxi University of Finance and Economics, Nanning, China
²China Mobile Group Guangxi Company Limited, Nanning, China

---

Abstract—With comprehensive analysis on security requirements of information transmission in digital campus, new primitives in asymmetric and symmetric cryptographic system are designed to describe essential security attributes. Secure information transmission is constructed with composition of the generated primitives and realized with common security technologies. And then, formal analysis shows that, secrecy, integrity, availability, controllability, non-repudiation and identifiability during information transmission can be insured by this architecture. At last, the network security architecture is verified by experiment based on Hadoop, with comparison data on the attacked rate in cloud environment.

Index Terms—information transmission, composition, formal specification, network security architecture, cloud computing

[PDF]

Cite: Xiaole Li, Ming Weng, Ying Wen, "Construction of Network Security Architecture Based on Formal Specification in Digital Campus," Journal of Software vol. 9, no. 4, pp. 952-957, 2014.