学位论文 > 优秀研究生学位论文题录展示
基于Agent的移动计算及其安全性研究
作 者: 余万涛
导 师: 胡光锐
学 校: 上海交通大学
专 业: 电路与系统
关键词: 进程 agent 类型系统 非干扰安全性 安全自动机 安全策略 移动基础设施
分类号: TN918
类 型: 博士论文
年 份: 2007年
下 载: 547次
引 用: 2次
阅 读: 论文下载
内容摘要
随着近来计算机网络技术、通信技术的飞速发展,基于因特网的全球性的计算平台已经建立起来;同时,由于高速无线通信技术的出现以及器件快速小型化,许多便携式设备如:笔记本电脑,移动电话,PDA,以及各种信息家电也接入到网络中来。以并发性、移动性、分布性、实时性、异构性和互操作性为主要特征的移动计算系统已经成为计算机技术领域的一个研究热点,很多研究成果已经在实际信息系统的开发中得到广泛应用。对于移动计算而言,安全性是移动计算能否成功应用的关键问题。本文研究基于agent的移动计算系统的形式化理论和技术,并在形式化模型基础上深入研究了基于agent的移动计算系统的安全性理论和技术,包括静态安全性分析,安全信息流分析和基于安全自动机的动态监测技术,最后探讨了基于agent的移动基础设施和消息传递算法。主要工作包括以下六个方面:(1)首先对移动计算系统中的安全要求、安全威胁和安全机制进行了讨论,提出了移动计算的统一安全框架,并指出在移动计算中可以在统一的形式化计算模型中描述移动计算系统并设计和表示不同的安全机制。(2)在基于进程代数的π演算框架下,通过引入位置、计算边界和限制区域,建立了一个扩展的π演算模型:Confined-π演算。并在限制声明的基础上对进程的行为进行了规范,使得安全策略通过由计算边界定义的格和限制区域的包含关系编码到Confined-π演算中。(3)在Confined-π演算平台上,从静态分析的角度考查了实现移动计算系统静态安全性分析的方法。通过在Confined-π演算中引入带安全标记(计算边界标记和限制区域标记)的类型系统,移动计算的安全要求,如限制agent移动和通信等,被转换成类型系统中的形式化特性,从而将移动计算系统中的一些安全性问题转化成基于类型的静态分析问题。
|
全文目录
摘要 3-5 ABSTRACT 5-8 英语缩略语表 8-11 第一章 绪论 11-22 1.1 引言 11-13 1.2 基于Agent 的移动计算与π演算 13-15 1.3 移动计算环境下的安全性 15-19 1.3.1 基于类型系统的静态分析理论与技术 15-16 1.3.2 移动计算中的安全信息流分析技术 16-17 1.3.3 移动计算环境下的安全策略与动态监测技术 17-19 1.4 本文的主要工作 19-22 第二章 移动计算的安全威胁和要求以及安全机制 22-30 2.1 计算系统模型及移动计算环境下的安全框架 22-25 2.2 移动计算环境下的安全要求与安全威胁 25-28 2.3 移动计算中的安全机制 28-29 2.4 小结 29-30 第三章 基于Agent 的安全移动计算模型 30-61 3.1 引言 30-32 3.2 移动计算的计算边界及限制区域 32-37 3.2.1 移动计算的计算边界 32-34 3.2.2 移动计算的限制区域 34-37 3.3 限制Agent:Confined-π计算模型 37-58 3.3.1 Confined-π的语法 37-48 3.3.2 Confined-π的操作语义 48-55 3.3.3 Confined-π演算迁移系统的基本性质 55-58 3.4 举例 58-59 3.5 小结 59-61 第四章 类型系统 61-73 4.1 类型语法与类型的运算 61-66 4.2 Confined-π演算的类型系统 66-69 4.3 类型系统的性质 69-72 4.4 小结 72-73 第五章 Confined-π演算中的等价关系及安全信息流分析 73-97 5.1 引言 73 5.2 非类型约束的进程等价 73-80 5.3 具有类型约束的进程等价 80-85 5.4 Confined-π演算中的安全信息流分析 85-96 5.4.1 Confined-π演算中的安全结构 86-89 5.4.2 Confined-π演算中的非干扰安全性 89-96 5.5 小结 96-97 第六章 安全策略的进程表示 97-124 6.1 引言 97 6.2 移动计算系统中安全性的形式化描述 97-99 6.3 安全自动机及其进程描述 99-113 6.3.1 安全自动机的定义 99-101 6.3.2 安全自动机的进程表示 101-113 6.3.2.1 终止进程 101-104 6.3.2.2 简单安全自动机的进程表示 104-109 6.3.2.3 复杂安全自动机的进程表示 109-113 6.4 移动计算系统安全属性的判定 113-121 6.5 Confined-π演算中安全策略的表达及实施 121-123 6.6 小结 123-124 第七章 基于Agent 的移动计算中的基础设施设计与算法 124-130 7.1 引言 124-125 7.2 移动基础设施统一框架 125-126 7.3 支持Agent 移动的消息传递算法 126-129 7.3.1 算法的提出 126-127 7.3.2 通信过程与算法 127-129 7.4 小结 129-130 第八章 研究工作总结与展望 130-134 8.1 研究工作总结 130-131 8.2 研究展望 131-134 参考文献 134-145 致谢 145-146 攻读博士学位期间发表和录用的学术论文目录 146 攻读博士学位期间参加的科研项目 146-148
|
相似论文
- 基于移动Agent的分布式网络通信机制的研究,TP393.02
- 传闻证据规则研究,D925.2
- 城市化进程中征地拆迁补偿模式及其改革的探析,F301
- 长大铁路水下隧道火灾风险分析及消防安全策略,U458.1
- 电力企业信息安全策略研究与实现,TP393.08
- 基于防火墙和三层交换机的校园网络安全策略研究,TP393.08
- 多Agent方法在分布式智能电网发电调度系统中的应用研究,TM76;TM73
- 基于Agent的无线传感器网络自组织演化机制研究,TN929.5
- 基于策略Agent的个性化信息检索系统的研究与实现,TP391.3
- 基于Android平台的无线控制系统设计与实现,TP273
- 基于Jade的多Agent图像检索系统,TP391.3
- 面向逻辑虚拟域的多级访问控制系统,TP309
- 用于ATM平台的主机入侵防御系统的设计与实现,TP393.08
- 模型独立框架下高阶π演算及表达能力研究,TP338.6
- 基于本体多Agent系统的交易伙伴智能发现相关技术研究,F713.36
- 郑州联通办公自动化网络安全防护策略探讨,TP393.08
- 车间生产调度中基于聚类的虚拟联盟协商机制,TP301.6
- 基于信息素和多Agent协商的柔性路径下跨单元调度方法,TP18
- 终端特定信息检测系统的研究与实现,TP309
- 基于Agent的旅游信息服务系统构建技术研究,TP393.09
- Agent增强型工作流技术在医院办公自动化中的应用研究,TP317.1
中图分类: > 工业技术 > 无线电电子学、电信技术 > 通信 > 通信保密与通信安全
© 2012 www.xueweilunwen.com
|