王飞
- 作品数：32 被引量：131H指数：5
- 供职机构：解放军信息工程大学更多>>
- 发文基金：国家高技术研究发展计划国家重点基础研究发展计划河南省自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理环境科学与工程电子电信更多>>
- 基于图像位平面相关的信息隐藏分析技术被引量：1
- 2005年
- 首先在图像分析技术的基础上给出了位平面相关度测量和回归量的计算,然后据此提出了一种针对LSB隐藏算法的隐藏分析技术。实验表明这种方法是有效可行的。
- 刘胜利汤光明王飞贾利新陶俐伶
- 关键词：相关度位平面
- 基于UMLsec的软件安全需求建模方法研究被引量：1
- 2013年
- 安全性是现代软件系统的重要组成部分,安全需求建模是确保软件安全性的基础。针对软件安全需求,提出了一种基于UML安全扩展(UMLsec)的软件安全需求建模方法。在软件需求规格说明的基础上,获取安全需求,对安全需求进行描述,并将安全需求描述集成到功能需求模型中,构建安全需求模型,并对模型进行了验证。科研信息系统实例表明了该方法的有效性。
- 李波刘伟王飞
- 关键词：安全需求建模方法
- 基于可信计算平台的用户身份认证研究被引量：3
- 2009年
- 保证登录用户身份的真实性是保证可信计算平台(TCP)"值得信任"的前提。将身份认证技术应用于可信计算平台,形式化描述了可信计算平台用户身份认证模型。在Linux PAM框架下对模型进行了验证,实现了一个基于UsbKey的可信计算平台身份认证系统。
- 李勇李勇王飞
- 关键词：可信计算平台身份认证PAM
- 模型驱动的领域软件开发方法研究被引量：1
- 2014年
- 本文从企业级应用的系统开发现状入手,分析驱动数据库设计方法在Web应用开发中的不足,从而引出模型驱动的领域软件的设计方法,介绍了基于模型驱动的领域软件设计方法的开发模式。
- 王飞
- 关键词：软件开发
- 可信计算平台管理中心的设计与实现被引量：10
- 2007年
- 针对能够提供可信的运行环境和服务的一种可信计算平台,文章设计并实现了可信计算平台的管理和维护程序—“管理中心”;并对管理中心的工作流程和实现进行了详细的阐述。
- 王飞刘毅
- 关键词：可信计算平台管理中心
- 基于无干扰原理的终端安全模型研究被引量：4
- 2008年
- 终端是信息系统中所有安全风险的根源,借鉴无干扰信息流的思想,从终端的访问行为安全的角度提出一种无干扰的终端安全模型。模型以终端的访问行为为基本元素,详细讨论了访问行为安全应满足的条件,指出安全策略与隔离性是保障终端安全的根本,并在此基础上扩展到整个终端安全。
- 王飞刘毅李勇
- 关键词：可信计算终端安全信息流无干扰
- Web Services动态合成技术的研究被引量：2
- 2009年
- 为了提高Web Services合成的效率,减少用户查询时过多的人工干预,提出了一个Web Services最佳路径动态合成框架。在该框架下以产生式的形式建模,构建一个适合于最佳路径算法的DAG图,以参数级本体解决合成过程中的语义冲突问题,并通过最佳路径算法进行合成。通过分析比较,该框架特别适合于对同样的用户输入和Web Services进行多次合成以生成相同的或者不同的输出,同时也避免了回溯和对合成方案的优化。
- 王飞张来顺廖凯
- 关键词：WEBSERVICES产生式
- UMLsec自动分析验证工具的研究与设计
- 2014年
- 在基于UMLsec模型开发的安全关键系统中,为了验证UMLsec模型描述的安全需求是否满足,提出一种支持自动分析验证UMLsec模型工具框架,研究设计了自动分析验证<>的验证插件。利用该验证插件分析验证了一个加密协议实例,从而说明了该工具能自动分析验证UMLsec模型描述的安全需求。
- 王飞李波郭渊博郝耀辉
- 关键词：安全关键系统
- 可信计算平台安全体系及应用研究被引量：23
- 2007年
- 针对终端存在的诸多安全问题,可信计算可以从系统体系结构上对终端进行根本的安全防护。文章分析了一种可信计算平台的终端安全体系,并讨论了可信计算平台的可能应用模式,对终端的安全防护能够起到一定的指导意义。
- 王飞刘毅
- 关键词：可信计算平台终端安全可信链
- TCB可信扩展模型研究被引量：5
- 2010年
- TCB的可信性与系统安全密切相关。随着TCB边界的不断扩大,保证TCB边界可信扩展成为信息安全防范的重要环节。目前针对TCB扩展的研究主要集中在技术层面,理论研究相对欠缺。基于可信计算思想研究了TCB可信扩展模型,依据安全策略将TCB层次化分割为TCB子集,形式化描述了TCB子集之间的可信支撑关系,证明了TCB可信扩展性的必要条件,提出了模型的实施框架。
- 李勇王飞胡俊沈昌祥
- 关键词：可信计算
