一个多级安全通道建立协议及安全性分析

计算机工程与应用 ›› 2012, Vol. 48 ›› Issue (20): 117-122.

一个多级安全通道建立协议及安全性分析

曹利峰1，陈性元1，杜学绘1，王怀鹏2

1.解放军信息工程大学电子技术学院，郑州 450004
2.解放军防空兵指挥学院，郑州 450001

出版日期:2012-07-11 发布日期:2012-07-10

Multi-level secure tunnel establishment protocol and its security analysis

CAO Lifeng1, CHEN Xingyuan1, DU Xuehui1, WANG Huaipeng2

1.Institute of Electronic Technology, the PLA Information Engineering University, Zhengzhou 450004, China
2.The PLA Air Defense Forces Command Academy, Zhengzhou 450001, China

Online:2012-07-11 Published:2012-07-10

摘要/Abstract

摘要： 在研究等级化信息系统特点的基础之上，给出了一个等级化网络环境下安全通道建立协议LTEP，该协议通过联合机制确立了不同等级、不同敏感级的信息系统间通信关系，依据虚拟主体转换以及安全标记映射规则，实现了不同等级信息系统内通信主体的授权，克服了安全标记的异构性问题，而且协议所构建的多级安全通道能够有效地实现不同敏感级别信息传输的相互隔离。拓展了基于串空间的安全协议分析方法，从认证性、机密性、完整性等几个方面对LTEP 协议进行了安全性分析。

关键词: 等级保护, 多级安全, 安全通道, 虚拟主体, 串空间

Abstract: This paper analyzes the characteristics of classified information system, and puts forward a secure tunnel establishment protocol in classified network. The protocol establishes the relation of communication among different classified or level information systems by coalition, and according to virtual subject and mapping rules of secure label, it accomplishes authorization of subject and overcomes the heterogeneous of secure label in different information systems, moreover, multi-level secure tunnel established by the protocol may insulate different level information. It extends the method of secure protocol analysis based on strand space, and analyzes security of the protocol on authentication, confidentiality, integrality and so on.

Key words: classified security protection, Multi-Level Secure（MLS）, secure tunnel, virtual subject, strand space

曹利峰1，陈性元1，杜学绘1，王怀鹏2. 一个多级安全通道建立协议及安全性分析[J]. 计算机工程与应用, 2012, 48(20): 117-122.

CAO Lifeng1, CHEN Xingyuan1, DU Xuehui1, WANG Huaipeng2. Multi-level secure tunnel establishment protocol and its security analysis[J]. Computer Engineering and Applications, 2012, 48(20): 117-122.

[1]	李茜1，王峥1，马建芬1，李娜2. 轻量级移动支付协议公平性分析[J]. 计算机工程与应用, 2018, 54(19): 82-87.
[2]	曹利峰1，李海华2，杜学绘1，陈性元1. 基于信息客体统一化描述的安全标记绑定研究[J]. 计算机工程与应用, 2017, 53(9): 103-110.
[3]	余磊1，魏仕民1，卓泽朋2. 认证测试中协议主体串参数一致性研究[J]. 计算机工程与应用, 2015, 51(13): 86-91.
[4]	刘浩. 多域环境下基于信任的P2P访问控制模型[J]. 计算机工程与应用, 2014, 50(21): 116-120.
[5]	余磊，魏仕民. 协议主体密钥在测试组件构造上的性质分析[J]. 计算机工程与应用, 2013, 49(6): 114-117.
[6]	余磊，魏仕民. 网络管理中一种互认证密码协议的安全性分析[J]. 计算机工程与应用, 2012, 48(4): 94-96.
[7]	沈明玉，薛伟. 基于CK模型SNEP安全分析[J]. 计算机工程与应用, 2012, 48(25): 118-121.
[8]	邢洪智1，罗颖2，罗长远1，霍士伟1. 移动环境中多级网络安全切换策略设计[J]. 计算机工程与应用, 2011, 47(36): 127-130.
[9]	曹利峰，陈性元，杜学绘，夏春涛. 基于可信度的多级网络访问控制机制[J]. 计算机工程与应用, 2011, 47(34): 86-89.
[10]	杨蓓，吴振强，杨小勃. 基于可信计算的多级安全模型[J]. 计算机工程与应用, 2011, 47(27): 122-125.
[11]	邓帆，邓少锋，李益发. 标准模型下可证安全的认证密钥协商协议[J]. 计算机工程与应用, 2011, 47(13): 106-109.
[12]	李廷元1，2，秦志光1，刘晓东2，张选芳2. Needham-Schroeder 协议的认证测试方法形式化分析[J]. 计算机工程与应用, 2010, 46(19): 100-102.
[13]	马宇驰，赵远，邓依群，李益发. 基于CPK的可信平台用户登录认证方案[J]. 计算机工程与应用, 2010, 46(1): 90-94.
[14]	张艳，王赜. 增强EAP-AKA协议安全性的改进方案[J]. 计算机工程与应用, 2009, 45(28): 96-98.
[15]	^{孔娟，曹利培} . TLS协议认证测试模型与形式化分析 [J]. 计算机工程与应用, 2009, 45(23): 100-103.