帅飞
- 作品数：7 被引量：1H指数：1
- 供职机构：解放军信息工程大学电子技术学院更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 几种密码协议验证工具的比较和分析
- 从密码协议的形式化分析和验证出发,对协议描述语言和验证方法进行分类,并比较、分析了几种典型的协议分析工具。通过对模型检测和逻辑分析验证方法的研究,结合两者的特点,设计了一种结合模型检测和逻辑分析方法的综合协议验证方法,并...
- 李亚敏帅飞高鑫鑫
- 文献传递
- 基于证据支持一致性分类的证据合成方法
- 2012年
- 利用D-S证据理论评估信息安全产品的安全等级时可能产生全冲突悖论、1冲突悖论、0冲突悖论。为解决该问题,提出一种基于证据支持一致性分类的证据合成方法。基于证据支持一致性对证据进行分类后,根据专家意见的重要程度,对证据进行折扣,并将D-S合成方法和加权平均方法相结合,用于合成分类证据。分析结果证明,该方法有更好的适用性和更低的计算复杂度。
- 帅飞李俊全万伟
- 智能安全防护软件策略构件的设计与实现被引量：1
- 2009年
- 针对智能安全防护软件中策略的定制和管理问题,设计并实现软件的策略构件,采用基于用户最大满意度的策略选择算法解决策略选择时的策略缺失和策略冗余冲突。采用基于构件关联检索的一致性检测算法解决定制策略中的系统交互一致性冲突。结果证明策略构件能有效解决软件策略的定制和管理中的冲突问题。
- 帅飞王晋东王坤张恒巍
- 关键词：策略管理
- 计算机系统结构研究
- 本文系统的概述了计算机系统结构，并对计算机系统机构的一般设计思路和发展情况进行了介绍，重点介绍了三种计算机系统常用的分类方法，01对计算机系统结构的发展趋势进行了展望。
- 李亚敏帅飞王晋东
- 关键词：计算机系统结构程序语言
- 密码产品安全风险评估技术研究
- 2012年
- 为了保证密码产品风险评估的客观性和准确性,提出了基于威胁分析的定量密码产品安全风险评估方法。针对现有基于安全威胁分析的风险评估方法中,安全威胁概率大都依靠专家经验确定的不足,引入贝叶斯理论,在安全威胁分析和安全防护措施分级的基础上,根据安全威胁和安全防护措施因果关系构建贝叶斯评估网络,计算安全威胁生效概率和产品安全风险值。应用该方法对HAIPE进行了风险评估,实验结果表明了该方法的有效性和合理性。
- 帅飞李俊全尤娟
- 关键词：安全措施贝叶斯网络安全风险评估
- 基于策略的可重构智能安全防护软件研究
- 随着网络技术和信息技术的发展,新型的窃密攻击方式和攻击手段的提升,对网络安全构成了新的潜在威胁。现有的安全产品,大都集中在解决单一方面的安全问题,存在结构固化,功能单一,缺乏自适应能力和学习进化能力等不足。为此我们有必要...
- 帅飞
- 关键词：层次消息总线
- 文献传递
- 几种密码协议验证工具的比较和分析
- 从密码协议的形式化分析和验证出发,对协议描述语言和验证方法进行分类,并比较、分析了几种典型的协议分析工具。通过对模型检测和逻辑分析验证方法的研究,结合两者的特点,设计了一种结合模型检测和逻辑分析方法的综合协议验证方法,并...
- 李亚敏帅飞高鑫鑫
- 关键词：密码协议
- 文献传递
