Formal Specification of Information Transmission Architecture Based on Automatic Generation of Primitives in Digital Campus

Xiao Le Li; Ying Wen; Ming Weng

doi:10.4028/www.scientific.net/AMR.846-847.1644

Paper Titles

Research on Electronic Cash Security Technology in Electronic Commerce
p.1628

A Network Security Situational Awareness Model Based on Information Fusion
p.1632

An Improved SIP Security Mechanism of Softswitch Network
p.1636

Automatic Discovery of Malware Signature for Anti-Virus Cloud Computing
p.1640

Formal Specification of Information Transmission Architecture Based on Automatic Generation of Primitives in Digital Campus
p.1644

Comparison of GM and ARMA Model for Survivability Prediction in Network Information System
p.1648

Application of Identity-Based Blind Signature in the Performance Evaluation
p.1652

Research on Gateway Security Isolation Technology Based on Trusted Computing
p.1656

Research on Security Solutions of Softswitch Network Based on IPSec
p.1660

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 846-847Formal Specification of Information Transmission...

Formal Specification of Information Transmission Architecture Based on Automatic Generation of Primitives in Digital Campus

Abstract:

Based on comprehensive analysis on security requirements of information transmission, security primitive is generated by automatic tool in asymmetric key cryptosystem, and improved with addition of compositional factors. And then, formal processes of secure information transmission are constructed with composition method. Formal analysis shows that, secrecy, integrity, availability, controllability, non-repudiation and identifiability during information transmission can be insured by this architecture, as a common framework for development of various application systems in digital campus from the viewpoint of information security.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 846-847)

Pages:

1644-1647

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.846-847.1644

Citation:

Cite this paper

Online since:

November 2013

Authors:

Xiao Le Li*, Ying Wen, Ming Weng

Keywords:

Automatic Generation, Composition, Information Transmission, Security Primitive

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] Yuan-jiao Zhu, Ke-qin Zhou, Design and Realizing of the Digital Campus Security System, WCSE, vol. 4, pp.305-309, (2009).

Google Scholar

[2] J. Backfield, and J. Bambenek, Network Security Model, SANS Institute (2008).

Google Scholar

[3] Foley. S. N, Zhou, H. Towards an architecture for autonomic security protocols. In Proceedings of International Security Protocols Workshop (Cambridge, England, 2003), Springer-Verlag, p.25–30.

Google Scholar

[4] D. Song. An Automatic Approach for Building Secure Systems. PhD thesis, University of California at Berkeley, (2002).

Google Scholar

[5] Hyun-Jin Choi. Security protocol design by composition. PhD thesis, Cambridge, UK: University of Cambridge, (2006).

Google Scholar