指令级安全策略语言的设计与实现

摘要

该文介绍了我们从编程语言的角度为解决移动代码安全问题所做的研究工作,主要内容包括:1.我们阐述了这种方法的基本原理:就是利用编译手段搜集到程序的类型、结构等信息,在客户端对程序进行类型检查等基本安全检查.通过与传统的安全检查方法进行比较,我们描述了这种方法的优缺点.2.介绍了我们用于解决移动代码安全问题的综合模型.底层安全保证类型、控制流和内存安全,中层安全对程序使用的资源数量进行限制,高层限制程序对重要的资源的访问.我们介绍了每层的基本工作流程和技术路线.3.详细描述了用于解决指令级安全问题的策略语言和实现技术:这种语言能够对指令执行序列进行安全约束,可以描述所有EM机制可以加强的安全属性,也可以在扫描指令的同时进行统计工作.我们尝试用静态分析的方法对移动代码的扩展安全属性进行检查,该文介绍了我们所使用的分析算法.

目录

文摘

英文文摘

第一章绪论

1.1研究背景和意义

1.2移动代码安全概述

1.2.1移动代码及其特点

1.2.2移动代码的安全

1.3研究现状

1.3.1传统方法的局限

1.3.2基于语言的安全检测方法

1.4本章总结

第二章三层安全检查结构

2.1引言

2.2可供选择的检查方法

2.3解决移动代码安全问题的一个综合模型

2.4低级代码安全

2.4.1基本安全策略

2.4.2携带注解的代码和提示

2.4.3接收方的代码验证

2.5中级安全策略

2.6高级代码安全

2.6.1策略描述语言

2.6.2一个例子

2.6.3 API的替换策略

第三章一个安全策略语言的设计和实现

3.1引言

3.2我们的安全策略语言的理论基础和设计目标

3.3核心安全语言

3.4几个例子

3.5安全策略描述语言的实现技术

3.5.1基本块的划分算法和流图的组成

3.5.2自然循环的组成的确定和循环次数的确定

3.5.3在策略指导下对程序进行检查

3.6结论

附录：基于MPEG-4标准的人脸动画技术的研究

A.1引言

A.2人脸动画研究历史简介

A.3 MPEG-4标准

A.4 MPEG-4兼容的人脸动画系统

A.5人脸动画系统概述

A5.1校准子系统基本原理和操作流程

A5.2语音动画子系统构造技术

A5.3一组效果图

A.6 DIRICHLET自由变形

A6.2 Voronoi和Delaunay图

A6.3 DFFD算法

A6.4 DFFD应用于人脸变形

A 7人脸视点无关纹理图的生成方法

A 7.1纹理合成概述

A 7.2视点无关的纹理图的生成

参考文献

致谢

攻读学位期间发表的论文