doi: 10.4304/jsw.9.4.952-957
Construction of Network Security Architecture Based on Formal Specification in Digital Campus
- 1 Experimental teaching center, Guangxi University of Finance and Economics, Nanning, China
- 2 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.
Keywords
- information transmission
- composition
- f
How to Cite
Xiaole Li, Ming Weng, and 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. https://doi.org/ 10.4304/jsw.9.4.952-957
Copyright & License
Copyright © 2014 by the authors. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).