排序方式： 共有3条查询结果，搜索用时 453 毫秒
1
1.
为了对实施了具体保密性策略的系统、进程或工作流的保密性进行严格有效的分析与验证,提出了一种基于Petri网的保密性策略建模与验证方法.首先给出保密性策略基于Petri网的形式化描述,为系统建立Petri网模型;然后在此模型下利用保密性策略基于Petri网的形式化描述以及覆盖图对系统的保密性进行分析与验证,以判断系统是否符合保密性策略的要求.由于给定的系统Petri网模型覆盖图可以自动生成,因此可以利用其对系统的保密性进行自动分析与验证.通过一个进程实例阐述了该方法的原理和实施过程. 相似文献
2.
简介了数字水印技术的基本原理和概念、关系数据库水印技术的基本原理和概念以及其分类．并在此基础上,提出了一种基于循环冗余校验的关系数据库水印算法．该算法首先对原始关系数据库进行分组、秘密排序、以及嵌入比列控制,然后将嵌入了加密信息和经过添加循环冗余校验码的水印信息嵌入到关系数据库中;在检验和提取水印信息时,先对添加了水印信息的数据库进行分组和元组选取,再对相应字段值提出LSB,经过多数选举后,再经循环冗余校验判断有无被攻击和篡改．经实验证明,本文提出的关系数据库水印算法具有安全性好、可用性好、能盲提出盲检测以及能检测攻击和篡改的特点． 相似文献
3.
对 Map Info进行了简单的介绍 ,分析了 Mapinfo存在的不足及面域图形的存储特点 ,针对在 Mqpinfo中面域图形变化的 3种具体情况 ,重点论述了以 Map Info作为支撑平台采用结点搜索法实现面域图形变化的方法及其步骤 ,并且以宗地变更为例进行了验证 .对于推广 Map Info的应用有一定的参考价值 .图 5 ,参 6 相似文献
1