您的位置: 专家智库 > >

国家自然科学基金(60703103)

作品数:5 被引量:12H指数:2
相关作者:石文昌崔奇单智勇王宇更多>>
相关机构:中国人民大学中国科学院大学教育部更多>>
发文基金:国家自然科学基金国家高技术研究发展计划北京市自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 5篇期刊文章
  • 3篇会议论文

领域

  • 8篇自动化与计算...

主题

  • 3篇操作系
  • 3篇操作系统
  • 2篇信任
  • 2篇信息流
  • 2篇TPM
  • 1篇信息安全
  • 1篇虚拟机
  • 1篇虚拟网
  • 1篇虚拟网络
  • 1篇依赖图
  • 1篇英文
  • 1篇硬件
  • 1篇入侵
  • 1篇入侵检测
  • 1篇主观逻辑
  • 1篇网络
  • 1篇可信计算
  • 1篇可信计算组织
  • 1篇可信平台模块
  • 1篇访问控制

机构

  • 5篇中国人民大学
  • 2篇教育部
  • 1篇中国科学院研...
  • 1篇中国科学院软...
  • 1篇中国科学院大...

作者

  • 5篇石文昌
  • 2篇单智勇
  • 2篇崔奇
  • 1篇杨尚
  • 1篇靳君伟
  • 1篇杨小平
  • 1篇栗跃鹏
  • 1篇李霄
  • 1篇王良
  • 1篇王宇

传媒

  • 1篇计算机研究与...
  • 1篇计算机工程与...
  • 1篇中国科学院研...
  • 1篇计算机科学
  • 1篇Wuhan ...
  • 1篇2009年全...

年份

  • 1篇2011
  • 1篇2010
  • 3篇2009
  • 3篇2008
5 条 记 录,以下是 1-8
排序方式:
按需构造的信息安全试验平台的设计与实现
2009年
针对传统信息安全试验平台在抗破坏性、可定制性、可扩展性和可重现性等方面存在的不足,提出了一个支持按需构造的信息安全试验平台RuVisen的设计思想,并讨论其实现方法。RuVisen借助虚拟机和虚拟网络技术,通过软件方法,在物理环境之上按需重构试验环境,为信息安全试验环境的研究和开发提供了一种有效的方法。
王宇石文昌崔奇
关键词:信息安全虚拟机虚拟网络
OPERATING SYSTEMS SUPPORT FOR PROCESS DYNAMIC INTEGRITY MEASUREMENT
Facing limitations of existing systems for process integrity measurement, we put forward a method with its pro...
Chenglong Wei
操作系统信任基建模的方法学研究
2010年
倡导操作系统在确立应用系统的可信性中具有不可或缺的作用之理念,以Web应用为聚焦点,诠释操作系统信任基(TBOS)的思想。以如何确保TBOS的可信性为主线,讨论TBOS建模的研究方法。提出由信任监控核心引擎、内核信任监控器和核外信任监控器三大部分组成的TBOS体系结构,提出发挥硬件效能与缩小软件尺寸相结合的研究方针,阐述TBOS建模中的关键问题和关键技术,从模型构造方法、信任监控方法、域间协同方法、隔离保护方法、硬件特性抽象方法和软件尺寸缩减方法等方面建立TBOS建模的方法学基础。
石文昌
关键词:操作系统硬件
Using New Fusion Operations to Improve Trust Expressiveness of Subjective Logic
2011年
Subjective logic provides a means to describe the trust relationship of the real world.However,existing fusion operations it offers treat fused opinions equally,which makes it impossible to deal with the weighted opinions effectively.A.Jφsang presents a solution,which combines the discounting operator and the fusion operator to produce the consensus to the problem.In this paper,we prove that this approach is unsuitable to deal with the weighted opinions because it increases the uncertainty of the consensus.To address the problem,we propose two novel fusion operators that are capable of fusing opinions according to the weight of opinion in a fair way,and one of the strengths of them is improving the trust expressiveness of subjective logic.Furthermore,we present the justification on their definitions with the mapping between the evidence space and the opinion space.Comparisons between existing operators and the ones we proposed show the effectiveness of our new fusion operations.
ZHOU Hongwei1,2,3,SHI Wenchang1,2,LIANG Zhaohui1,2,LIANG Bin1,2 1.Key Laboratory of Data Engineering and Knowledge Engineering,Ministry of Education,Beijing 100872,China
关键词:信任主观逻辑
基于依赖图的入侵检测研究
商用IDS应用不理想这一事实反映出IDS的关键技术并没有得到很好地解决,人们有必要探索新方法。在对大量IDS系统分析后,根据计算机操作信息流可以构造依赖图这一原理,开展了基于依赖图的实时入侵检测技术研究,目标是入侵检测与...
王良栗跃鹏杨尚靳君伟单智勇杨小平
关键词:入侵检测依赖图信息流
文献传递
一种通过应用程序验证TPM标准符合性的方法(英文)被引量:7
2008年
安全涉及系统保护与策略符合性两层意义.目前TCG尽管已经发布了可信计算的相关标准,但是缺乏标准符合性验证的规范.将一种验证TPM命令标准符合性的机制引入到可信计算应用程序之中,在TPM执行功能之前检验其相关命令的标准一致性;同时,还进一步讨论了标准符合链的思想,通过确保每个组件的标准符合性来加强整个计算平台的安全性.
崔奇石文昌
关键词:可信计算组织可信平台模块
STBAC:一种新的操作系统访问控制模型被引量:5
2008年
现代操作系统的主要威胁来自网络,传统访问控制机制在这方面尚有不足.提出一种应用于操作系统的访问控制模型——STBAC,可以有效防御网络攻击,并保持较好的兼容性和易用性.即使系统被攻破,STBAC模型仍然能保护关键资源,使入侵者无法达到真正的破坏目的.STBAC模型以进行过不可信远程通信的进程为可疑感染的起点,依据感染规则追踪可疑感染进程及其子进程在内核中的活动,依据保护规则禁止可疑感染进程非法访问关键资源,以防止系统关键资源遭到破坏.对原型系统的测试表明,STBAC模型在不明显影响系统兼容性和性能的前提下,可以有效地保护系统安全.
单智勇石文昌
关键词:操作系统访问控制信息流安全性
进程运行时完整性度量的体系结构设计
针对当前进程完整性度量方法存在的不足,提出一个基于TPM安全芯片的进程运行时完整性度量的体系结构及其原型系统Patos-RIP,用以度量进程从创建到死亡的整个生命周期中的完整性.Patos-RIP不再局限于静态检测能力,...
李霄石文昌梁朝晖梁彬单智勇
关键词:操作系统TPM
文献传递
共1页<1>
聚类工具0