排序方式： 共有5条查询结果，搜索用时 93 毫秒
1
1.
随着世贸组织的加入,我国改革开放已进入了新的历史阶段,对城市规划工作也提出了新的要求。一、服务贸易总协定中相关内容关城市规划的内容属于服务贸易。服务贸易是服务业的国际交换,《服务贸易总协定》是在世贸组织协定中对全球服务贸易的规则、运行机制进行规范的协定。在《服务贸易总协定》中规定了四种服务的提 相似文献
2.
云计算中数据的存储安全是租户最为关注的问题,也是云计算能否获得广泛应用的关键。文中提出了一种基于存储路径映射加密的云租户数据存储访问方案。方案中,云租户数据被划分为具有逻辑关系的若干存储块,这些逻辑块将提交到云索引服务平台并以多备份的方式存储到不同的云存储服务提供者的存储介质上;基于此,云租户对其私密数据的存储路径映射进行加密。所提出的方案在存储租户数据时,在不同的云存储提供者之间采用了冗余备份的机制,保证了租户数据存储的可靠性;同时,方案仅对租户数据的存储路径进行加密,从而避免了对数据整体的加、解密操作;分析和测试结果验证了方案的安全性、有效性和可行性。 相似文献
3.
为了检测内存访问错误,提出了一种基于语义抽象的内存访问错误检测方法,通过对程序具体语义的完备近似抽象,对相关约束变量操作的精确检验,以及控制流图遍历中的函数信息收集,能够在过程间完备地静态检测C程序源代码中的内存访问边界错误.通过将程序分析和程序验证相结合,提高内存检查的自动化和准确性.原型实现表明了方法的有效性. 相似文献
4.
基于形式化描述的验证测试是高安全系统的有效评估方法,而如何生成测试案例是基于形式化测试中的关键问题.针对形式化方法生成测试案例的不足,在分析形式化描述语言Z结构特点的基础上,提出了一种基于形式化描述的测试案例生成方法.从分析Z语言描述的输入空间、前置条件和后置条件出发,对前置条件适当重写,然后根据前置条件利用更改的判定条件覆盖准则来生成测试案例集,该方法引入了控制流覆盖准则,克服了经验方法输入空间划分不完整的缺点,降低了形式化描述的难度,并可以使测试案例生成过程自动化. 相似文献
5.
介绍了标识源代码中隐蔽通道的关键技术:数据流分析、别名分析和信息流安全性分析,并指出其存在的问题.在综合并优化各种技术的基础上,提出包括结构分析、别名分析、信息流分析和安全鉴别等过程的改进方法,通过改造开源编译器GCC,利用其生成的抽象语法树和控制流程图,并对Linux-0.11文件系统和示例程序进行分析测试.结果表明,该方法可提高隐蔽通道标识的效率和精确性. 相似文献
1