基于框架的形式化商务安全策略模型

温红子; 周永彬; 卿斯汉

您当前的位置：

首页 >

文章列表页 >

基于框架的形式化商务安全策略模型

论文 | 更新时间：2025-07-16

- 基于框架的形式化商务安全策略模型
- A Formal Commercial Secure Policy Model Based on Framework
- 电子学报 2005年33卷第2期页码：222-226
- 作者机构：
  
  1. 中国科学院软件研究所信息安全技术工程研究中心,北京,100080
  2. 中国科学院软件研究所信息安全国家重点实验室,北京,100080
  3. 中国科学院研究生院,北京,100039
  4. 中国科学院软件研究所信息安全技术工程研究中心北京,100080
  5. 中国科学院软件研究所信息安全国家重点实验室北京,100080
  6. 中国科学院研究生院北京,100039
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.60083007/60373039);国家重点基础研究发展规划 (973) (No.G1999035802)
- DOI：
  中图分类号： TP309
- 纸质出版：2005
- 稿件说明：
移动端阅览
温红子, 周永彬, 卿斯汉. 基于框架的形式化商务安全策略模型[J]. 电子学报, 2005,33(2):222-226.

WEN Hong-zi, ZHOU Yong-bin, QING Si-han. A Formal Commercial Secure Policy Model Based on Framework[J]. Acta Electronica Sinica, 2005, 33(2): 222-226.
温红子, 周永彬, 卿斯汉. 基于框架的形式化商务安全策略模型[J]. 电子学报, 2005,33(2):222-226. DOI：

WEN Hong-zi, ZHOU Yong-bin, QING Si-han. A Formal Commercial Secure Policy Model Based on Framework[J]. Acta Electronica Sinica, 2005, 33(2): 222-226. DOI：

摘要

商务信息系统安全的核心目标是维持系统数据的完整性.虽然研究人员已提出许多完整性安全原则

但至今仍然缺乏一种系统的商务安全策略.本文所提出的基于框架的形式化商务安全策略模型(FB-FCSM)是一个集成多种完整性原则的系统性商务完整性模型

具有良好的兼容性和扩展性

是Clark-Wilson完整性安全策略的精化.

Abstract

The key of security on commercial information systems is to preserve the data integrity within them.Although many integrity principles have been discussed

there is still lack of a systematic commercial secure policy model.A Formal Commercial Secure Policy Model Based on Framework(FB-FCSM) is proposed

which integrates multi-integrity-principle into one systematic commercial secure model.The model has not only good compatibility but also sound scalability

and is a refinement of Clark-Wilson Integrity Secure Policy.

关键词

Keywords

references

浏览量

905

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于身份签名的北斗二代民用D2导航电文认证协议

一种基于TE技术实现Clark-Wilson模型的方法

基于P2P的无需第三方验证的本地信誉存储管理

电子数据证据收集系统保护机制的研究与实现

边界网关协议BGP-4的安全扩展