南阳市科技攻关计划项目(2007G0803)
- 作品数：2 被引量：9H指数：2
- 相关作者：周利华邱罡张崇王玉磊更多>>
- 相关机构：西安电子科技大学南阳医学高等专科学校第一附属医院南阳理工学院更多>>
- 发文基金：南阳市科技攻关计划项目河南省科技攻关计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于无干扰理论的完整性度量模型被引量：2
- 2010年
- 针对现有可信计算完整性度量方案不能反映程序执行时动态特征的问题,提出一种基于系统操作无干扰的完整性度量模型,该模型借鉴信息流的无干扰理论,通过分析进程操作的完整性及进程间完整性的传递,从动态的角度对系统的运行完整性进行度量。对该模型进行形式化的描述和分析表明,该模型直观、易懂,且不局限于某种特定的实现方式。
- 邱罡王玉磊周利华
- 关键词：信息流无干扰可信计算远程证明
- 基于可信计算的Web单点登录方案被引量：7
- 2010年
- 为增强现有单点登录技术中用户域的安全性,在客户端平台引入可信平台模块(TPM),同时采用智能卡、口令及指纹相结合的客户端认证方案,实现了用户、客户端及智能卡间的相互认证,并保证了应用服务所提供的信息资源的安全使用。分析结果表明,该方案不要求用户与客户端预先协商信任关系,且可辨别客户端的主人和普通使用者。使用哈希函数的用户认证计算及推式平台完整性验证使得系统具有较高的运行效率。
- 邱罡张崇周利华
- 关键词：可信计算单点登录智能卡身份认证
