赵国磊
- 作品数：11 被引量：17H指数：3
- 供职机构：中国人民解放军信息工程大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学更多>>
- 基于安全SIM卡的企业短消息平台设计与实现
- 2006年
- 本文以自主研发的安全SIM卡为基础,设计了一个基于PKI技术的企业安全短消息平台,可广泛应用于电子商务/电子政务领域。
- 鹤荣育赵国磊
- 关键词：PKI
- 安全短信通信系统的研究与设计
- 移动通信安全是移动电子政务与移动电子商务正常运行的前提,也是一般移动应用大规模开展的前提。移动通信提供的业务有多种,在不被信任的移动通信网络中实现安全通信需要根据不同的业务作出不同的选择,实现特定业务的安全通信有着十分重...
- 赵国磊
- 关键词：短消息消息认证码CMPPSTKDES
- 公网移动安全接入系统
- 司志刚陈性元鹤荣育常朝稳赵国磊杜学绘秦晰韩培胜李平梁松涛戴紫彬肖青海王超熊选东张少武
- 随着无线通信技术的发展，公共移动通信网络(PLMN)的传输速率和带宽、网络覆盖率及质量方面都有很大提高，为移动电子商务/政务系统应用系统提供了可靠的基础平台。移动通信系统与互联网的互连，手持移动终端逐渐替代PC成为人机接...
- 关键词：
- 关键词：无线通信技术
- 信息流格模型的非法流分析被引量：2
- 2019年
- 随着互联网的发展以及网络空间地位的上升,信息的重要性与日俱增。为确保信息安全,对非法信息流的控制显得尤为重要。文中分析了信息流格模型中信息流动的安全性,为更好地对模型内部的信息流进行分类,首先,对信息流格模型进行线性化分析,使得模型被线性化表述,并将其称为线性信息流格模型。接着,引入马尔科夫链,并利用马尔科夫链的常返态属性和瞬时态属性的概率变化,来量化表示模型中主体和客体之间的转换状态,从而检测出模型内部的各个信息流。进一步地,根据模型内部的主体和客体分别对应的常返态与瞬时态的概率对比,分析每个信息流的安全状态,即:当模型检测中同时出现两个常返态时,违反了安全模型,从而导致非法信息流的出现。由于概率变化存在同一性,该方法会产生误差并影响其检测结果。为弥补这一不足,介绍了SPA语言,然后对线性信息流格模型进行了SPA语言的描述,并采用形式化中的无干扰方法对马尔科夫链模型内概率同一性的不足进行补充说明。最后,检测出其中隐藏的非法信息流,判断出含误差下各个信息流的安全状态,并得出结论:符合安全模型但违反安全策略的信息流不满足无干扰属性。这对信息流安全检测软件的设计及硬件应用具有重要意义。
- 王雪健赵国磊常朝稳王瑞云
- 关键词：信息流马尔科夫链SPA隐通道
- 典型安全网关的形式化设计与证明
- 2017年
- 传统上依靠经验设计的安全网关侧重于功能实现,缺少严格的安全模型。对此,针对一种典型安全网关,首先根据其安全需求给出相应的安全策略,然后利用BLP模型对给出的安全策略进行形式化建模并对安全模型的内部一致性进行证明,最后对安全网关的功能规约和安全模型的一致性进行验证。为保证推理过程的正确性,使用定理证明器Isabelle/HOL对上述过程进行描述和推理,保证了安全网关顶层设计的安全性。研究结果为安全网关的形式化设计提供了一定的借鉴意义。
- 王瑞云赵国磊常朝稳王雪健
- 关键词：形式化设计BLP模型
- 单向网络安全设备的分析与证明被引量：3
- 2019年
- 单向网络安全设备是不同密级间网络信息传输的主要安全设备。为了保证单向网络安全设备内部的安全性和通信系统的安全性,分析了单向网络安全设备的安全需求,提出无干扰模型形式化建模,用数学归纳法证明单向网络安全设备安全需求与形式化策略规约的一致性;针对单向网络安全设备存在的安全隐患进行分析与讨论,总结出更加完善的安全策略,确保信息安全。这为单向网络安全设备的安全性设计提供了一定的借鉴意义。
- 王雪健赵国磊常朝稳王瑞云
- 关键词：形式化数学归纳法
- 应用导向下的案例式教学在安全服务中间件技术课程中的实践
- 2020年
- 以安全服务中间件技术这门具有较强实践性的课程为例,力求将案例式教学法引入专业课程教学,以期有效提高学员的学习兴趣和水平,最终达到加强学员的实际理解能力并提升教学质量的目的。
- 孙佳佳刘育楠赵国磊祝宁
- 关键词：教学方法中间件案例式教学编程技术
- 移动SSL VPN的设计与实现被引量：2
- 2008年
- 本文通过对SSLVPN各种实现技术的比较,选择端口转发技术设计并实现了一个移动SSLVPN系统,通过该系统移动终端用户可以安全的访问单位的内部信息系统,实现移动办公。
- 赵国磊
- 关键词：移动终端端口转发
- 面向多云盘的终端透明加密存储系统
- 吴果韩培胜房礼国常朝稳鹤荣育秦晰王帅赵国磊王瑞民李中
- 安全已经成为行业关注的焦点。云盘存储数据的最大特点在于用户的所有数据都存储至云端，用户通过网络可以随时随地获取数据进行处理。然而，云存储数据的安全性、可靠性由云盘存储服务提供商保障，用户失去对其数据的控制权。由于云存储模...
- 关键词：
- 关键词：密码管理
- 公网移动安全接入系统被引量：2
- 2010年
- 1项目的背景与意义
随着移动通信技术的发展与普及，移动电子商务、电子政务逐渐替代传统的电子商务／政务成为主流，但是公共移动通信网的安全性已成为制约其广泛应用的瓶颈。公共移动通信网不但继承了有线网络中的所有安全隐患，而且由于特有的开放性，使其面临的安全威胁更多，导致移动支付、移动警务、税务稽查等对信息安全要求较高的移动应用系统难以推广使用。
- 司志刚陈性元鹤荣育常朝稳赵国磊
- 关键词：接入系统移动电子商务移动通信网公网移动通信技术应用系统
