温红子
- 作品数：8 被引量：142H指数：4
- 供职机构：国家电力监管委员会更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划北京市自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 高级最优化工具箱TAO评介
- 2005年
- 本文通过在曙光2000Ⅱ的运行,从起源与现状、设计原理、核心组件、具体算例等方面给出了高级最优化工具箱TAO的一个评介,并从具体实用中给出了TAO的优缺点及建议.
- 王建迟学斌姜金荣谷同祥温红子刘文博
- 关键词：TAO优化工具箱设计原理核心组件
- 基于Clark-Wilson完整性策略的安全监视模型被引量：9
- 2004年
- 传统的计算机设计系统的安全监视功能存在日志数据冗余和异常线索检测时延过长等固有问题.由于安全监视功能的日志数据项主要是由系统实施的安全策略所决定,所以采用关系模式,通过形式地描述、分析著名的Clark-Wilson完整性策略,从而精确确定了与各条策略相关的最小日志项集,然后将其应用于基于Clark-Wilson完整性策略的形式化安全监视模型(CW-SMM).该模型不但可以有效解决Clark-Wilson安全策略适用系统的日志数据冗余问题,而且也可以彻底解决异常线索检测中的时延问题.
- 斯汉温红子雷浩雷浩
- 关键词：日志审计
- 一个基于多策略的安全监视框架被引量：1
- 2005年
- 当前的基于通用日志数据的安全监视手段存在日志数据冗余和异常检测时间延迟等问题。本文提出的基于多策略的安全监视框架(MP-SMF),不但可以有效克服上述问题,而且还具有可配置的特性。并且通过把 Bell-LaPadula 机密性安全策略改写成为相应的关系模式,具体示例安全策略如何应用在MP-SMF中。
- 温红子卿斯汉文伟平李晓东
- 关键词：审计
- 电力安全和电力市场监管信息系统关键技术研究和典型应用
- 倪吉祥蒋锦峰常建平胡红升温红子杜光耀王大鹏阴玉清姚念衡石磊李旸杨名舟王保喜周金兴李翰斌刘欣钱成曹宇飞郭威翟小松左军英范磊杨丽玉王建军李丽马士祺
- 本项目采用NGN/NGS技术路线，建成了可信的电力安全和电力市场监管应用支撑平台，可提供可信呼叫控制服务、媒体控制服务、业务控制服务和信息交换服务以及多媒体业务服务，使电监会应用支撑平台具有支撑多种业务应用的能力，降低了...
- 关键词：
- 关键词：电力安全信息系统电力市场
- 基于框架的形式化商务安全策略模型被引量：4
- 2005年
- 商务信息系统安全的核心目标是维持系统数据的完整性 .虽然研究人员已提出许多完整性安全原则 ,但至今仍然缺乏一种系统的商务安全策略 .本文所提出的基于框架的形式化商务安全策略模型 (FB FCSM)是一个集成多种完整性原则的系统性商务完整性模型 ,具有良好的兼容性和扩展性 ,是Clark Wilson完整性安全策略的精化 .
- 温红子周永彬卿斯汉
- 关键词：完整性
- 带时间特性的角色访问控制被引量：124
- 2003年
- 基于角色的访问控制模型的研究工作近年来得到了广泛的重视,但主要工作均立足于与时间特性无关的其他方面.形式化描述了一个引入时间后的角色访问控制模型.在该模型中对原有授权约束进行了时间扩充.提出的相应算法解决了时间授权约束和会话的状态转变问题.同时分析了模型的一致性状态,并讨论了一致性状态维护问题.
- 黄建卿斯汉温红子
- 关键词：信息安全访问控制角色一致性
- 安全策略模型规范及其形式分析技术研究被引量：5
- 2006年
- 形式化是开发高安全等级计算机系统的核心技术之一,但目前形式开发方法无法直接借助于机器证明获得较之手工证明更加严格的安全策略模型正确性保证,以及安全策略模型和安全功能规范之间的精确对应。通过把安全功能规范开发技术应用于安全策略模型的开发中,提出了一种新颖的安全策略模型形式规范构造方法及其证明机理,从而有效解决了上述问题。还以Bell-LaPadula多级安全策略为实例,具体说明了规范的形式开发和形式分析过程。
- 李丽萍卿斯汉周洲仪何建波温红子
- 关键词：安全策略模型定理证明
- 商务安全策略及其形式分析研究
- 安全策略和安全策略模型是开发安全产品和构建安全系统的基础和前提。基于Clark-Wilson完整性安全策略的商务安全策略是一种适用于商务环境的安全系统构建策略。
本文对 商务安全策略及其形式进行了分析研究。文章...
- 温红子
- 关键词：商务环境商务安全安全系统
- 文献传递
