蔡勉
- 作品数：60 被引量：155H指数：8
- 供职机构：北京工业大学计算机学院更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金北京市自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信一般工业技术天文地球更多>>
- 基于关键字驱动机制的安全操作系统的测评系统
- 2009年
- 相对于普通的操作系统,安全操作系统能够为用户提供一个更安全、更可靠的计算机系统的操作平台。对安全操作系统安全功能的测评已经成为了验证其安全性的重要手段。以我国制定的关于信息技术安全性评估的标准(GB/T18336-2001)为依据,设计了一个针对Linux安全操作系统的测评系统。该测评系统采用关键字驱动机制,更好地实现了操作系统的自动化测评。
- 刘星蔡勉李燕郭颖
- 关键词：安全操作系统
- 一种安全的授权群签名方案被引量：2
- 2006年
- 为了解决在电子商务以及电子政务中经常出现的越权群签名的问题和授权群签名的“匿名”性问题,基于离散对数数学难题,给出了一种安全的授权群签名方案．在该方案中,增加了权限管理员,令其颁发相应的授权证书给指定的群成员,并对群管理员公布权限公开证书,使得每群成员按权限进行签名,解决了电子商务及电子政务中经常出现的越权群签名的问题;同时,利用数论中的有关知识,可以保证授权群签名的“匿名”性．
- 蔡勉孙兴芳
- 关键词：群签名匿名性离散对数
- 基于软件行为的可信动态度量
- 提出了基于软件行为的可信动态度量,将度量粒度细化到一次行为的引用上,在一定程度上解决了系统工作后的动态可信性问题.同时,提出了基于拓展行为迹的度量机制和行为度量信息基的验证机制,提供了对软件行为可信的判定方法,实现了软件...
- 庄現蔡勉李晨
- 关键词：可信计算
- 文献传递网络资源链接
- 基于驱动表机制的操作系统等级测评系统被引量：1
- 2007年
- 操作系统安全是计算机信息安全的基础,如何对操作系统的安全等级进行测评已成为一个重要的课题。论文依据GB/T18336-2001标准,设计了一个基于Linux的操作系统的等级测评系统。该系统通过驱动表机制驱动测评系统各组件运行,生成测试套件。测试套件集成了测试所需的测试组件,并可在操作系统环境中自动完成安全测评,按照评估流程生成评估报告。
- 常伟华蔡勉王亚军
- 关键词：安全操作系统安全等级测评系统
- 基于DTE策略的安全域可信隔离模型
- 安全域隔离技术是构造可信系统的基本技术之一.本文运用可信计算的思想,在现有的安全域隔离模型的基础上,定义了安全域间信任关系,提出了域间可信通信的可信管道机制,给出了安全域可信隔离模型的可信性状态,构建并形式化描述了基于D...
- 陈银镜蔡勉司丽敏郭颖
- 关键词：形式化
- 文献传递
- 基于通用访问框架的安全操作系统设计被引量：4
- 2007年
- 该文介绍Bell-LaPadula模型、Clark-Wilson模型和RBAC模型,在这三种安全策略模型的基础上,结合LSM访问框架体系设计了一个达到结构化保护级要求的安全操作系统方案,提供安全系统的组成和功能,使Linux操作系统达到高安全保护级别。该安全系统结合强大的访问控制机制、系统特权分离、安全审计等一系列功能和技术,体现了安全操作系统设计的安全、可靠、实用、兼容性原则。
- 金怡蔡勉
- 关键词：LINUX操作系统安全操作系统
- 周期为N＝n2^v的序列线性复杂度的快速算法被引量：2
- 2002年
- 文中利用广义离散傅里叶变换对GF(2)上周期为N=n2v(gcd(n,2)=1)序列进行了研究,给出了求周期为N=n2v的序列线性复杂度的快速算法,并得到了关于GF(2)上多项式的Hasse导数的一些新结果.
- 蔡勉王宏肖国镇
- 关键词：线性复杂度保密通信周期
- 操作系统安全等级测评技术研究
- 息产品安全测评是信息安全保障体系建设的重要部分。在阐述信息安全测评依据的基础上,给出一个操作系统安全保护等级测评系统的设计方案,该系统能够半自动地完成操作系统安全保护等级测评。最后给出系统的测评流程。
- 李梅娟蔡勉常伟华贾佳
- 关键词：信息安全操作系统安全评估
- 文献传递
- 一种适用于配置漏洞的安全配置评估系统被引量：1
- 2012年
- 为了对大量存在的配置漏洞进行风险评估从而做出相应的补救措施,以使可能的损失降到最低,本文首先研究通用漏洞评估系统(CVSS)的评估体系,然后结合配置设置自身的特点,对CVSS标准进行修改,提出适用于配置漏洞评估的安全配置评估系统(SCVSS),并通过CCE的配置实例验证了SCVSS的正确性。SCVSS是一种有效的配置评估系统。
- 杨文杰蔡勉
- 基于交互式马尔可夫链的可信动态度量研究被引量：9
- 2011年
- 可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的目标.当前的可信度量集中在可信功能度量上,基于交互式马尔可夫链增加性能特征指标度量,即在预期行为描述模型中,运用变迁系统模型描述功能预期,通过将体现在可靠性上的路径概率与预期的关联,获取完成特定行为功能在时间特征上的预期,用于性能特征指标的度量.所构建的功能与性能特征预期用于对系统运行时证据实施相应的功能与性能上的可信性验证.基于交互式马尔可夫链的动态度量模型,从性能角度完善了对可靠性的保障,更全面地确保了系统的可信.
- 庄琭蔡勉蔡勉
- 关键词：可信计算
