形式化方法在云计算中的应用研究

形式化方法在云计算中的应用研究

吉林大学 张鹏

为推进云计算的发展，本文利用形式化方法对云计算系统的形式语义进行了刻画，并在其基础之上，对云计算中的变化影响分析问题和数据安全性评测问题进行了较为深入地研究，主要工作如下：1）利用抽象源对云计算系统的形式语义进行了刻画。基于在本体中引入动态语义的思想提出了一种新的知识表示方法——抽象源，利用抽象源从云的共性和特性两个角度对云计算系统的形式语义进行了刻画，并通过云服务的一个实例SCSKP对该方法的有效性进行了说明。2）对云计算系统中“变化”的影响进行了分析。构建了一种包含云中“变化”信息的变化传播模型，定义了一种能对该模型进行形式化表示的编码CTMC，并基于变化传播模型和CTMC编码给出了一种可以对云中常见的“变化”影响进行分析的方法。3）利用tabular表达式通用模型对云计算系统进行了描述。在tabular表达式通用模型中扩展了一些新的表类型，给出了一种以抽象源为媒介用tabular表达式对云计算系统进行描述的方法，增强了抽象源的适用性。4）对SCSKP中数据的安全性进行了分析评测。基于SCSKP的抽象源描述分析了SCSKP的安全防护能力，利用马尔可夫模型对SCSKP中各种非法入侵发生的概率进行了分析，基于分析结果计算了非法入侵的损失期望。

形式化方法在云计算中的应用研究

时间： 2024-10-25 20:11:20

形式化方法在云计算中的应用研究的相关文章

十种方法保持云计算中的数据安全

当云数据存储这个概念出现时,人们着实高兴了一回.云数据存储的出现,让人们在与恶意软件.键盘监听.pc监测软件等等的斗争中得以喘息.但是在人们把数字化的行李迁移到云中后,却忘记了确保数据安全所需的措施. 与在android系统中放到安全栅栏进行保护相比,云中数据保护没有那么难,但有时它也不会像在公园中散步那么简单.因此为了减少疑惑,帮助消除对新技术的恐惧,本文罗列了十种方法,让你在云中的生活乐不思蜀. 1. 密码优先 如果我们讨论的是理想的情况的话,那么你的用户名和密码对于每一个服务或网站都应该是

云计算中加密数据的模糊关键字搜索方法研究

云计算中加密数据的模糊关键字搜索方法研究 陕西师范大学 杜军强 本论文从以下几个方面展开研究: 首先介绍了公钥加密关键字搜索的基本概念,从公钥加密搜索的定义出发介绍公钥加密关键字搜索的模型,从中引入公钥加密关键字搜索蕴含基于身份的加密.随后给出可搜索加密方案的构造,从双线性映射的概念.可证明安全性的概念.随机预言机模型与公钥加密的安全性来引入公钥加密关键字搜索具体方案的构造,最后对该方案的安全性做了分析证明. 其次提出支持多种字符串类似性操作的R+树来构建索引,实现云计算中对加密数据的模糊关键字

一种混合遗传算法在云计算负载均衡中的应用研究

一种混合遗传算法在云计算负载均衡中的应用研究 程国建,刘丽景,石彩云,朱凯 遗传算法(GA)被广泛用于解决科学与工程中的复杂问题,然而传统的GA在求解高维函数优化问题时存在很多限制因素,因此无法在云计算中直接应用．提出了一种多智能体与遗传算法混合的多Agent遗传算(MAGA)．首先论证了MAGA较传统GA的优越之处,然后采用MAGA建立了基于虚拟化资源管理的负载均衡模型,解决云计算中的负载均衡问题．与Min_min策略对比实验结果表明,多Agent遗传算法能够达到更加优越的负载均衡效果． 关键

[文档]云计算中数据隐私保护方法的研究

云计算中数据隐私保护方法的研究 南京邮电大学  苏弘逸 本文针对云计算的分布式特点,利用秘密共享策略来建立具备分布式特点的加密方案.同时为了便于统一管理云计算用户的多种身份,采用基于身份的公开加密算法(IBE),并将秘密共享策略结合在IBE中.该方案主要针对非可信的云计算服务提供商,因此利用相应的门限策略来降低单个非可信服务提供商带来的数据泄漏威胁,并且将由数据提供者对其身份信息等隐私数据进行授权.本文在提出方案的详细步骤之后,从正确性和安全性两个方面相应的分析,并进一步利用MIRACL密码库模

云计算在核安全分析中的应用研究

云计算在核安全分析中的应用研究 琚忠云 周涛  李精精  肖泽军 在进行核安全分析时,需要考虑核反应堆设计.运行.管理及计算评估等诸多方面的复杂问题.而人员进行风险评估会在很大程度上影响核电站的正常运行时间,并带来人因失误的不确定性增大.利用云计算,可以有效地解决核安全分析面临的资料繁杂,模型构造麻烦和信息不共通等缺点.提出核安全云的概念,将云计算与核安全分析结合起来,借助计算机平台对核电厂的选址定点.建造.调试.运行及退役过程中可能产生的风险进行分析计算,更全面的分析各种不利条件,及时地做出决

云计算中海量数据高效索引方法

云计算中海量数据高效索引方法 黄斌 彭宇行 彭小宁 针对云计算环境中数据的海量性和分布性特点,以及现有的分布式B树索引方法存在访问率较低问题,本文提出一种云计算环境中海量数据高效索引方法,它在分布式B树的基础之上,采用日志来记录节点的分裂历史,并基于节点分裂历史高效并发访问分布式B树.实验结果表明,它有效提高了云计算环境中海量.分布式的数据访问和索引效率. 云计算中海量数据高效索引方法

物联网、大数据及云计算技术在煤矿安全生产中的应用研究

物联网.大数据及云计算技术在煤矿安全生产中的应用研究 马小平  胡延军  缪燕子 阐述了物联网.大数据及云计算技术的研究现状,指出3种技术之间的关系,即物联网产生大数据,大数据助力物联网:大数据需要云计算,云计算增值大数据.结合煤矿综合自动化的建设发展历程,研究了3种技术在煤矿安全生产保障中的作用和地位,提出了3种技术在煤矿生产安全保障中的关系:物联网是煤矿各个子系统建设的技术框架和路线图,大数据是矿山物联网建设的产物,云计算则是对大数据处理利用的技术手段,并指出基于物联网.大数据及云计算技术的

云计算在研究数据管理中的应用研究分析

云计算在研究数据管理中的应用研究分析 吴振新 刘晓敏 本文介绍了Kindura.ADMIRAL.SRF三个应用云计算技术的研究数据管理项目,借以研究云计算技术可以以何种方式融入到研究数据管理的工作流和系统中,并进一步总结和分析了研究数据管理项目应用云计算技术的特点. 云计算在研究数据管理中的应用研究分析

保序加密在海洋环境信息云存储密文检索系统中的应用研究

保序加密在海洋环境信息云存储密文检索系统中的应用研究 陈建翔 云计算因其经济.便利.高可扩展性等诸多优势已成为当今信息技术领域的热门话题,受到研究者的广泛关注和重视.安全性是限制云计算发展的重要因素,由于云存储在海洋云计算中占有重要地位,海洋环境信息的云存储系统中的安全问题成为海洋云计算研究的重要问题之一.本文在结合海洋环境信息的特点下研究保序加密在海洋环境信息云存储检索系统的应用,为海洋环境信息的云存储密文检索提供了一种可行方法. 保序加密在海洋环境信息云存储密文检索系统中的应用研究