文章基本信息

标题：Construction of Network Security Architecture Based on Formal Specification in Digital Campus
本地全文：下载
作者：Li, Xiaole ; Weng, Ming ; Wen, Ying 等
期刊名称：Journal of Software
印刷版ISSN：1796-217X
出版年度：2014
卷号：9
期号：4
页码：952-957
DOI：10.4304/jsw.9.4.952-957
语种：English
出版社：Academy Publisher
摘要：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.
关键词：information transmission;composition;formal specification;network security architecture;cloud computing