基于扩展ambient ASM的云计算形式化模型

发布时间：2017-12-14 18:19

  本文关键词：基于扩展ambient ASM的云计算形式化模型

  更多相关文章： Mobile Ambient演算 抽象状态机 ambient ASM 云计算 client-to-cloud交互

【摘要】：随着社会进步和互联网技术发展,网络数据量飞速增长且规模日渐庞大。传统数据处理方法存在数据存储成本过高、海量数据管理较困难、可靠性较低、效率低下、并行处理程序编写困难等诸多缺点。人们需要一种新的技术思想来解决这些问题。云计算的思想就很自然地被提出来。随着云计算服务的广泛使用,租户对云计算提出了越来越高的要求,云计算环境的动态性、随机性、复杂性和开放性使得原有方案难以适用。针对云计算应用系统的搭建模型的研究还处在继续探索之中,成果相对较少。使用合适的云计算框架模型,高效的实现云计算服务,是云时代环境下,信息化建设取得成功的关键因素。在本文中,我们提出一种形式化方法,既能描述并行系统组件的算法结构又能描述复杂分布式云系统的动态拓扑结构。结合云计算的服务模式特点,给出了一个简化的基础设施即服务层(IaaS)云服务形式化模型。论文主要工作内容和成果包括以下几个方面:(1)总结介绍了云计算的基本概念,特征及框架体系结构,并对云计算的服务模式、访问控制技术以及典型的云计算平台进行分析。(2)针对云计算服务系统中,既要描述移动计算系统又要描述复杂的面向服务的系统架构形式化模型的需求,我们详细介绍mobile ambient演算以及抽象状态机(Abstract State Machine,简称ASM)两种形式化工具的语法、语义,并仔细描述了传统ambient ASM的定义。(3)针对传统ambient ASM定义的不足,即原定义对于移动ambients所给出的定义不完整,并且原始ambient演算中,in、out、open操作可以不受限进行,环境对自身边界没有任何管理权限的不足,提出了一个扩展ambient ASM定义,将带口令的安全ambient演算引入ASM规则中,增强了环境对自身边界的管理与环境的安全性。(4)完成了基于扩展ambient ASM的云计算形式化模型的设计。
【学位授予单位】：广西民族大学
【学位级别】：硕士
【学位授予年份】：2016
【分类号】：TP393.09

【参考文献】

中国期刊全文数据库 前8条

1 王于丁;杨家海;徐聪;凌晓;杨洋;;云计算访问控制技术研究综述[J];软件学报;2015年05期

2 林果园;贺珊;黄皓;吴吉义;陈伟;;基于行为的云计算访问控制安全模型[J];通信学报;2012年03期

3 匡胜徽;李勃;;云计算体系结构及应用实例分析[J];计算机与数字工程;2010年03期

4 陈全;邓倩妮;;云计算及其关键技术[J];计算机应用;2009年09期

5 陈承欢;刘荣胜;高春鸣;;基于Mobile Ambients的网络实时模拟方法[J];计算机工程与设计;2009年04期

6 张健;;云计算概念和影响力解析[J];电信网技术;2009年01期

7 江华;李祥;;带口令的安全盒子环境演算[J];计算机工程;2007年09期

8 封富君;李俊山;;新型网络环境下的访问控制技术[J];软件学报;2007年04期

，

本文编号：1288895