首页> 中文期刊>计算机工程 >一种数据完整性策略的形式化描述

一种数据完整性策略的形式化描述

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

数据完整性是信息系统的安全目标之一,该文描述了一个时间相关的数据库管理系统的完整性策略模型.该模型将数据的完整性与时间联系起来,定义数据完整性的演化规则,解决了低可靠性的主体需要更新高完整性级别数据的问题.

著录项

来源
《计算机工程》|2004年第8期|128-129|共2页
作者
刘宏月; 范九伦; 马建峰;
展开▼
作者单位

郑州大学升达学院,郑州,451191;

西安邮电学院信控系,西安,710061;

西安电子科技大学计算机学院,西安,710071;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
安全保护; 完整性; 数据库系统; 时间性;
入库时间 2022-09-01 14:17:44

相似文献

中文文献
外文文献
专利

1. 一种编队作战计划形式化描述方法研究 [J] . 曾鹏 . 舰船电子工程 . 2015,第012期
2. 一种服务网络拓扑结构的形式化描述方法 [J] . 陈鹏 ,金鲁峰 ,袁彤炜 . 微计算机信息 . 2012,第008期
3. 一种顺序图的形式化描述与推理过程 [J] . 何锋 . 计算机系统应用 . 2011,第006期
4. 一种基于形式化描述的测试案例生成方法 [J] . 丁洪达 ,王伟光 ,曾庆凯 . 解放军理工大学学报（自然科学版） . 2009,第004期
5. 一种用户身份认证系统的形式化描述 [J] . 孙凌宇 ,冷明 ,彭宣戈 . 计算机应用与软件 . 2009,第001期
6. 一种面向方面软件体系结构编织的形式化描述方法 [C] . Hou Jinkui ,侯金奎 ,Yang Chunhua . 第十四届全国软件与应用学术会议 . 2015
7. 一种基于RSL的协议形式化描述技术 [A] . 赵静 . 2003

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号