Design and Verification of Security Protocol for Information Transmission in Digital Campus

摘要：

　　This paper mainly studies application of formal design for security protocols in digital campus.With a comprehensive analysis on security requirements of information transmission in digital campus,an information transmission model is built from the viewpoint of information security.Based on this model,a new security protocol,called DCIT for short,is designed.The formal analysis shows that secrecy,integrity,availability,controllability,non-repudiation and identifiability of information during transmission could be insured by DCIT,which could be used as a direction for development of various application systems in digital campus,from the viewpoint of information security.

关键词： digital campus information transmission composition method security protocol

作者: LI Xiao-le LUO Yong-jun LIANG Yu WEN Ying

作者单位: Dept.of Computer and Electrical Information, Guangxi Polytechnic College Nanning, Guangxi, China Educational Information Resource Development and Management Center, Guangxi PolytechnicCollege Nanni Guangxi Polytechnic College, Nanning, Guangxi, China Nanning, China Mobile Group Guangxi Company Limited, Nanning, Guangxi, China

会议类型: 国际会议

会议名称: 2012 2nd international Conference on Materials Science and Information Technology(2012第二届材料科学与信息技术国际会议)(MSIT2012)

会议地点: 西安

会议语种:英文

页码: 1230-1234

在线出版日期: 2012-08-24（万方平台首次上网日期，不代表论文的发表时间）