您的位置： 专家智库 > >

刘晖

作品数：27 被引量：34H指数：4
供职机构：上海交通大学更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术经济管理文化科学社会学更多>>

合作作者

文献类型

  • 14篇期刊文章
  • 8篇学位论文
  • 3篇专利
  • 2篇会议论文

领域

  • 17篇自动化与计算...
  • 4篇经济管理
  • 2篇社会学
  • 2篇文化科学
  • 1篇金属学及工艺
  • 1篇机械工程
  • 1篇交通运输工程
  • 1篇政治法律

主题

  • 5篇网格
  • 3篇隐私
  • 3篇数据库
  • 3篇架构
  • 2篇电桥
  • 2篇动态应变仪
  • 2篇应变仪
  • 2篇知识
  • 2篇软件测试
  • 2篇身份标识
  • 2篇身份认证
  • 2篇数据挖掘
  • 2篇铁路
  • 2篇铁路扣件
  • 2篇状态机
  • 2篇完整性
  • 2篇网格系统
  • 2篇面向服务架构
  • 2篇扣件
  • 2篇拉深

机构

  • 17篇上海交通大学
  • 12篇东华大学
  • 1篇山东工商学院
  • 1篇中国铁道科学...
  • 1篇中国科学院软...

作者

  • 27篇刘晖
  • 5篇林欣
  • 4篇李明禄
  • 4篇韦俊银
  • 3篇张明西
  • 2篇杜玉杰
  • 2篇陶卫
  • 2篇朱伟
  • 2篇赵辉
  • 2篇钱广春
  • 2篇娄臻亮
  • 2篇舒世湘
  • 1篇杨金峰
  • 1篇王卫东
  • 1篇刘满华
  • 1篇饶若楠
  • 1篇程裕强
  • 1篇曹健
  • 1篇任盛伟
  • 1篇檀康

传媒

  • 2篇东华大学学报...
  • 2篇郑州大学学报...
  • 1篇计算机安全
  • 1篇电子技术应用
  • 1篇电子学报
  • 1篇计量技术
  • 1篇计算机工程
  • 1篇计算机应用与...
  • 1篇计算机应用研...
  • 1篇小型微型计算...
  • 1篇大连交通大学...
  • 1篇中国科教创新...
  • 1篇2003'全...
  • 1篇第二届全国W...

年份

  • 1篇2018
  • 1篇2013
  • 4篇2011
  • 1篇2010
  • 5篇2009
  • 1篇2008
  • 2篇2007
  • 2篇2006
  • 5篇2005
  • 1篇2004
  • 2篇2003
  • 1篇2002
  • 1篇1993
共 27 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于SW-TPM的便携式身份认证被引量：2
2009年
USB Token是身份认证系统中常用的信息载体。提出一种基于SW-TPM的可信身份认证方案,通过增加可信认证加强USB Token的身份识别的安全性,并且分离平台与用户间身份识别的绑定,实现了便携式身份认证管理。
杜玉杰刘晖
关键词：USBTOKEN身份标识TPM
具有历史特征的Biba模型严格完整性策略被引量：3
2011年
针对Biba模型中的严格完整性策略在保证数据完整性的同时会降低系统兼容性的问题,在Biba严格完整性模型基础上提出了具有历史特征的Biba模型严格完整性策略,将主体完整性等级扩展为独立的读写区间,并根据主体读写历史调整主体可读写的区间,并给出形式化的描述.该模型既可以保护系统数据的完整性,又能提高系统的兼容性.同时,给出所构造规则的实施策略的实现算法,说明该实施策略和常规实施策略具有相同的时间复杂度.
张明西韦俊银程裕强王影刘晖
关键词：BIBA模型完整性兼容性
世纪传媒的战略转型研究
纸媒仍然处于方生方死之时，由于互联网尤其是移动互联网的冲击，纸媒目前陷入“厄运的循环”，但是这并不意味着纸媒的终结。纸媒要转型，光转变介质，甚至进行所谓全媒体试验，是不可能完成数字化生存的。纸媒的转型需要创新的基因。　　...
刘晖
关键词：数字营销
文献传递
主体完整性标记动态确定方案及其正确性证明被引量：1
2011年
B iba模型的严格完整性策略能够保证数据的完整性,但是其静态实施可能降低系统的兼容性.在B iba模型严格完整性策略基础上提出了主体完整性标记动态确定方案.将主体完整性等级扩展为独立的读写区间,根据主体读写历史调整主体可读写的区间,在保护系统完整性的同时提高了系统的兼容性.给出了形式化证明,说明该方案是安全的.指出了现行改进方案中存在的安全隐患及导致该隐患的原因,通过对比分析说明动态确定方案能够消除该安全隐患.
张明西韦俊银张相峰王以刚刘晖
关键词：完整性兼容性
基于抽象状态机的网格系统设计和分析被引量：6
2003年
基于可执行规范的实现 测试同步开发模式可以将错误尽早消灭在各个开发阶段的初期 .其理论基础是抽象状态机ASM ,实现工具是支持 .NET的AsmL .本文首先介绍了基于可执行规范的实现 测试同步开发模式、ASM起源和定义 ,然后采用ASM描述了网格高层次系统语义 ,并举例说明了采用AsmL生成有限状态机分析模型语义的方法步骤 .
刘晖李明禄
关键词：抽象状态机网格软件测试有限状态机
可信网格关键问题研究
本文将网格和安全结合在一起形成可信网格。可信网格形式化方法与应用研究;基于行为和任务特征的信任模型;多主体联合认证研究;计算网格互认证响应时间的一种模型及其模拟验证;在上述几个研究问题中，论文做出了下列创新性工作：采用抽...
刘晖
关键词：可信计算网格计算
文献传递
计算网格互认证响应时间的一种模型及其模拟验证
互认证响应时间及开销构成是安全网格和SOA计算中重要的设计依据和尺度.本文给出了计算网格互认证响应时间的一种模型.模型参数包括加解密/签名算法类型和密钥长度,传输网络最大报文常数、平均往返时间、超时序列初始值、延迟应答分...
林欣刘晖李明禄孟彦文
关键词：计算网格面向服务架构
文献传递
多生产线车间设备布局问题研究
该文的研究对象是采用生产线或制造单元生产方式的生产车间设备布局问题.该文首先应用精益生产的理念阐述了车间布局的一般原则,在此基础上应用物流优化和空间利用率目标建立了生产线车间布局的数学模型和约束表达,同时通过车间布局的拓...
刘晖
文献传递
SW-TPM便携式身份认证
2009年
用户身份认证、授权以及审计是进行信息系统安全设计的关键因素。其中,身份认证作为授权和审计的基础,是保障信息系统能以安全、有效的方式被访问的前提,在系统安全措施中占有重要地位。USB Token是身份认证系统中常用的信息载体,提出一种基于SW-TPM的可信身份认证方案,通过增加可信认证加强USB Token的身份识别的安全性,并且分离平台与用户间身份识别的绑定,实现了便携式身份认证管理。
杜玉杰刘晖
关键词：USBTOKEN身份标识TPM
一种计算网格互认证响应时间的模型
2006年
互认证响应时间及开销构成是安全网格和安全SOA计算中重要的设计依据和尺度。给出了计算网格互认证响应时间的一种模型。模型参数包括加解密/签名算法类型和密钥长度,传输网络最大报文常数、平均往返时间、超时序列初始值、延迟应答分组个数、最大拥塞控制窗口以及分组丢失率。举例说明了如何设置模型参数并计算响应时间。
林欣刘晖李明禄
关键词：网格面向服务架构
全选 清除 导出
共3页<123>
聚类工具0