崔巍

作品数：2被引量：8H指数：1
导出分析报告
供职机构：解放军信息工程大学信息工程学院更多>>
发文主题：可信计算IAAS安全协议形式化分析基础设施即服务更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《电子与信息学报》《信息工程大学学报》更多>>
所获基金：国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Eucalyptus的基础设施即服务云框架协议设计被引量：8
《电子与信息学报》2012年第7期1748-1754,共7页崔巍 李益发 斯雪明 
国家863计划项目(2009AA012201);现代通信实验室预研项目(9140C1103040902)资助课题
云计算中的基础设施即服务(IaaS)免去用户自主管理计算机硬件的麻烦,随时随地按需向用户提供计算和存储资源。Eucalyptus是一个被学术研究关注的开源IaaS实现,然而没有文献描述完整的利用Eucalyptus的所有模块来提供安全的基础设施服务...
关键词：云计算 基础设施即服务(IaaS) EUCALYPTUS 可信计算 
信任谓词的计算语义
《信息工程大学学报》2012年第2期156-160,共5页崔巍 李益发 斯雪明 
国家863计划资助项目(2009AA012201);现代通信实验室预研项目(9140C1103040902)
讨论逻辑系统中信任谓词的计算语义以及表述信任谓词基本性质的若干公理。首先指出计算的协议组合逻辑在讨论信任关系方面可能存在证明过程与挖掘内在信任关系方面的缺陷;扩展谓词演算系统形成基本协议逻辑并为其添加计算语义以便用于...
关键词：安全协议 形式化分析 逻辑系统 信任谓词 计算语义 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部