章衡
- 作品数：10 被引量：8H指数：2
- 供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
- 发文基金：贵州省优秀科技教育人才省长资金项目贵州省省长基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学电子电信更多>>
- 基于Logic SQL安全数据库的隐蔽通道分析
- 2006年
- Logic SQL数据库是自主研制基于linux的高安全级别安全数据库,本文根据近年来成熟的隐蔽通道分析技术针对Logic SQL安全数据库的隐蔽通道进行分析,从隐蔽通道的标识、带宽的计算、隐蔽通道的处理等方面进行分析。并展望下一步Logic SQL安全数据库的隐蔽通道研究方向。
- 王保华李丹宁马新强章衡
- 关键词：安全数据库LOGICSQL隐蔽通道分析
- 中间逻辑中的良构范式被引量：1
- 2008年
- 本文在中间逻辑中引入了良构范式的概念,为该类范式的研究提出了一个通用方法,并应用该方法证明了HT逻辑是存在一般蕴含范式的最弱中间逻辑,经典命题逻辑CPL是存在限制蕴含范式的仅有中间逻辑.
- 章衡张明义杨本娟
- 中间逻辑中的范式研究
- 中间逻辑是强弱介于经典逻辑与直觉主义逻辑之间的一大类命题逻辑。近年来，这些逻辑在计算机科学领域中受到极大的重视。而范式在逻辑及其相关领域中起着很重要的作用，特别是对于自动定理证明、自动推理和逻辑程序领域。本论文的主要目的...
- 章衡
- 关键词：范式
- 文献传递
- 基于双向运动补偿的三维小波变换方法
- 2007年
- 提出了基于双向运动补偿的三维小波变换方法,与以往的三维小波变换方法相比较,该方法在三维小波视频编码方法中应用了双向的运动估计/补偿,进而实现了两种时域可扩展方式的组合,提高了视频编码的可扩展性。
- 杨本娟王力章衡
- 关键词：三维小波变换
- 基于Logic SQL的B2级安全机制的研究与设计被引量：2
- 2007年
- Logic SQL数据库是自主研制基于linux的高安全级别安全数据库,本文对Logic SQL安全数据库的B2级安全机制的研究与设计,从标识与认证机制、访问控制机制、审计机制、加密机制、三权分立机制、客体重用保护机制等方面进行研究.并展望下一阶段Logic SQL的B2级安全机制的实现还需要进行的研究.
- 王保华马新强李丹李丹宁章衡
- 关键词：LOGICSQL安全数据库
- 一种形式化的强制存取控制模型的研究与实现被引量：2
- 2006年
- 针对数据库管理系统DBMS中的自主访问控制模型存在的安全缺陷,提出了一种形式化的强制存取控制模型,该模型对元组级安全标记、标签安全进行了探讨;把安全级分为分层密级和非分层范围组成的二元组与安全标签,达到元组级标签安全.鉴于强制存取控制模型在高安全数据库系统中的重要作用,在自行开发的具有自主版权的数据库管理系统LogicSQL上实现了该模型,使其至少达到B1级别安全.
- 马新强王保华李丹宁李丹章衡黄羿
- 关键词：自主访问控制强制访问控制
- 高安全级别安全数据库的隐蔽通道分析被引量：1
- 2006年
- LogicSQL数据库是自主研制的基于Linux的高安全级别安全数据库.对高安全级别安全数据库的隐蔽通道的分析,是从隐蔽通道的标识、带宽的计算、隐蔽通道的处理等方面进行的,并以LogicSQL安全数据库的隐蔽通道进行分析与处理.最后展望了下一步LogicSQL安全数据库的研究方向.
- 王保华李丹宁李丹马新强章衡
- 关键词：安全数据库LOGICSQL隐蔽通道分析
- 基于Logic SQL的B1级安全数据库的设计与实现
- 2006年
- 基于对B1级安全数据库的研究与分析,介绍了2个数据库安全模型:Bell-La Padu la模型、基于角色的访问控制模型(RBAC);结合LogicSQL数据库的研究,设计了其B1级安全模型。主要从LogicSQL的用户身份认证、自主访问控制、基于角色的访问控制、强制访问控制、安全标签和审计等几个方面进行了讨论。
- 马新强王保华李丹宁章衡李丹
- 关键词：LOGICSQLBLP自主访问控制强制访问控制
- G_3逻辑中的弱合取范式
- 2007年
- 本文为G3逻辑提出一种类似于经典逻辑中合取范式的弱合取范式,并给出两种范式化简算法:一种是通过公式刻画反模型的语义方法;另一种为基于重写翻译的语法方法。文章最后证明,在G3逻辑中对任意公式做弱合取范式化简不存在多项式算法。
- 章衡张明义杨本娟
- 安全数据库隐蔽通道的标识技术与实例分析被引量：3
- 2007年
- LogicSQL数据库是自主研制基于Linux的高安全级别安全数据库。重点对安全数据库的隐蔽通道标识技术进行研究,为寻求更好的隐蔽通道标识方法,对共享资源矩阵、信息流公式法、无干扰法等标识方法从理论上进行分析,以Log-icSQL安全数据库的隐蔽通道进行实例分析。改进的共享资源矩阵是目前相对比较成功的隐蔽通道标识方法,无干扰法的实际应用可作以后的隐蔽通道标识方法研究重点。
- 王保华马新强李丹宁李丹章衡赵振勇
- 关键词：隐蔽通道分析LOGICSQL安全数据库
