Volume 9 Number 4 (Apr. 2014)
Home > Archive > 2014 > Volume 9 Number 4 (Apr. 2014) >
JSW 2014 Vol.9(4): 952-957 ISSN: 1796-217X
doi: 10.4304/jsw.9.4.952-957

Construction of Network Security Architecture Based on Formal Specification in Digital Campus

Xiaole Li1, Ming Weng1, Ying Wen2

1Experimental teaching center, Guangxi University of Finance and Economics, Nanning, China
2China 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.

General Information

  • ISSN: 1796-217X (Online)

  • Abbreviated Title: J. Softw.

  • Frequency:  Quarterly

  • APC: 500USD

  • DOI: 10.17706/JSW

  • Editor-in-Chief: Prof. Antanas Verikas

  • Executive Editor: Ms. Cecilia Xie

  • Abstracting/ Indexing: DBLP, EBSCO,
           CNKIGoogle Scholar, ProQuest,
           INSPEC(IET), ULRICH's Periodicals
           Directory, WorldCat, etc

  • E-mail: jsweditorialoffice@gmail.com

  • Oct 22, 2024 News!

    Vol 19, No 3 has been published with online version   [Click]

  • Jan 04, 2024 News!

    JSW will adopt Article-by-Article Work Flow

  • Apr 01, 2024 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec)     [Click]

  • Apr 01, 2024 News!

    Papers published in JSW Vol 18, No 1- Vol 18, No 6 have been indexed by DBLP   [Click]

  • Jun 12, 2024 News!

    Vol 19, No 2 has been published with online version   [Click]