节点文献
基于框架的形式化商务安全策略模型
A Formal Commercial Secure Policy Model Based on Framework
【摘要】 商务信息系统安全的核心目标是维持系统数据的完整性 .虽然研究人员已提出许多完整性安全原则 ,但至今仍然缺乏一种系统的商务安全策略 .本文所提出的基于框架的形式化商务安全策略模型 (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.
【关键词】 信息系统安全;
形式化商务安全策略;
完整性;
【Key words】 information system security; formal commercial secure policy model; integrity;
【Key words】 information system security; formal commercial secure policy model; integrity;
【基金】 国家自然科学基金 (No .60 0 830 0 7/ 60 3730 39) ;国家重点基础研究发展规划 (973) (No .G1 9990 3580 2 )
- 【文献出处】 电子学报 ,Acta Electronica Sinica , 编辑部邮箱 ,2005年02期
- 【分类号】TP309
- 【被引频次】4
- 【下载频次】137