基于π演算的云服务安全检测

发布时间：2017-07-06 07:11

  本文关键词：基于π演算的云服务安全检测

  更多相关文章： 云服务 π演算 越权访问 完整性

【摘要】：利用π演算对云服务流程进行形式化描述,基于描述结果给出一种针对用户越权访问和服务不完整两种安全性问题的检测方法.基于云环境下的虚拟机部署实例对该方法的流程进行了说明,并将该方法与Bayes网和预测规则集等安全检测方法进行对比.结果表明,该方法能同时保证云服务过程的一致性和安全性.
【作者单位】： 吉林大学计算机科学与技术学院;吉林大学软件学院;
【关键词】： 云服务 π演算 越权访问 完整性
【基金】：国家自然科学基金(批准号:61300049) 教育部高等学校博士学科点专项基金(批准号:20120061120059) 吉林省科技发展计划项目(批准号:20130206052GX;20140520069JH)
【分类号】：TP393.09;TP309
【正文快照】： 云计算因其宽带互联、资源池共享、弹性配置、按需服务和按服务收费等优势在各行业中广泛应用,但云安全问题限制了云计算的发展.云服务的安全问题包括云计算架构是否安全、是否存在可攻击面、对恶意软件的处理是否全面及访问权限是否安全等[1].非法入侵和云服务不完整是云安全

【参考文献】

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

1 郭小群;郝克刚;;Web服务的Pi演算描述[J];计算机科学;2006年03期

2 廖军,谭浩,刘锦德;基于Pi-演算的Web服务组合的描述和验证[J];计算机学报;2005年04期

【共引文献】

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

1 吴建胜,战学刚;基于TCP状态有限自动机的入侵检测研究[J];鞍山科技大学学报;2005年05期

2 王志新;;几种常用浏览器特色功能比较[J];办公自动化;2007年20期

3 常宏达;孙文辉;于双元;丁丁;;Web服务组合形式理论分析与研究[J];兵工自动化;2009年05期

4 康辉;苑森淼;浦洁;刘勇;;基于Pi演算的Web服务建模与WSDL转换[J];北京工业大学学报;2008年11期

5 罗守山,陈亚娟,宋传恒,王自亮,钮心忻,杨义先;基于用户击键数据的异常入侵检测模型[J];北京邮电大学学报;2003年04期

6 田大新,刘衍珩,魏达,张树伟;基于模式匹配的网络入侵检测系统[J];吉林大学学报(信息科学版);2003年04期

7 陶砚蕴;徐萃华;林家骏;;遗传算法的发展及在入侵检测中的应用现状[J];传感器世界;2007年04期

8 林永菁;;基于RBF和BP神经网络的入侵检测模型比较研究[J];长江大学学报(自然科学版);2011年10期

9 付成宏,傅明,肖如良,唐贤瑛;基于决策树的快速入侵检测方法[J];长沙电力学院学报(自然科学版);2004年01期

10 李慧芳;;基于入侵检测的校园网安全探讨[J];长沙大学学报;2012年02期

中国博士学位论文全文数据库 前10条

1 马杰;网络安全威胁态势评估与分析方法研究[D];华中科技大学;2010年

2 邝砾;基于接口和行为语义的Web服务发现与适配研究[D];浙江大学;2009年

3 曹洪江;基于用户需求的Web服务组合系统研究[D];武汉理工大学;2010年

4 曹虹华;语义编程语言SPROGLE及其实现机制研究[D];武汉大学;2009年

5 赵亮;Web服务组合性能建模与分析[D];武汉大学;2009年

6 马鑫;基于协同机制和智能算法的多代理系统研究及应用[D];吉林大学;2011年

7 王飞;入侵检测分类器设计及其融合技术研究[D];南京理工大学;2011年

8 汪洁;多态蠕虫特征自动提取算法研究[D];中南大学;2010年

9 周航;基于质量有色Petri网的Web组合服务建模与冲突、冲撞研究[D];南京航空航天大学;2009年

10 肖芳雄;面向QoS的Web服务组合建模和验证研究[D];南京航空航天大学;2010年

【二级参考文献】

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

1 葛声,马殿富,胡春明,杜宗霞;基于Web服务的网络软件运行平台研究与实现[J];北京航空航天大学学报;2003年10期

2 阮耀平,易江波,赵战生;计算机系统入侵检测模型与方法[J];计算机工程;1999年09期

【相似文献】

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

1 管水能,叶震;自定义安全令牌在Web服务安全中的应用研究[J];电脑知识与技术;2005年20期

2 楚西岳;韩元杰;;基于规范的Web服务安全[J];现代电子技术;2006年12期

3 李燕杰;朱晓莲;耿肇英;;基于多技术融合的Web服务安全的研究与实现[J];河北省科学院学报;2006年04期

4 刘苒苒;;基于移动Agent的Web服务安全访问机制研究[J];装备维修技术;2007年04期

5 刘苒苒;;基于移动Agent的Web服务安全访问机制研究[J];信息通信;2007年06期

6 宋栋;崔勇;;基于代理的Web服务安全研究[J];网络安全技术与应用;2008年11期

7 夏敏;陈平;;Web服务安全关键技术研究综述[J];网络安全技术与应用;2009年03期

8 董洁;;网络教育Web服务安全解决方案[J];赤峰学院学报(自然科学版);2009年09期

9 贺正求;吴礼发;洪征;王睿;李华波;;Web服务安全问题研究[J];计算机科学;2010年08期

10 柳青;;云计算服务安全问题研究[J];信息网络安全;2011年06期

中国重要会议论文全文数据库 前1条

1 磨科鹏;;网络技术员应知的Web服务安全原理[A];全国计算机安全学术交流会论文集（第二十四卷）[C];2009年

中国重要报纸全文数据库 前10条

1 记者于芳;“服务安全”食品安全项目首次进入中国[N];中国食品报;2010年

2 威图电子机械技术（上海）有限公司总裁 郑清好;公共系统服务安全让城市生活更美好[N];中国计算机报;2012年

3 UT斯达康首席科学家 杨景;融合服务安全体系也将转型[N];中国电子报;2006年

4 本报记者 刘玉其;打防并举堵住增值电信服务安全漏洞[N];通信信息报;2011年

5 吴关龙;不为醉酒者提供代驾服务值得借鉴[N];人民公安报·交通安全周刊;2014年

6 刘磊;软件+服务安全才能快跑？[N];中国计算机报;2005年

7 本报记者　周蓉蓉;IBM抢滩Web服务安全[N];计算机世界;2002年

8 本报记者 傅春荣;境外网络服务安全敲响警钟[N];中华工商时报;2009年

9 市安监局局长 勾东升;着力“五个强化” 服务安全发展[N];淄博日报;2013年

10 王健;集团公司部署奥运邮政服务安全工作[N];中国邮政报;2008年

中国博士学位论文全文数据库 前2条

1 孟庆华;基于社会联盟机制的Web服务安全控制模型研究[D];东华大学;2008年

2 赵逢禹;Web服务安全域分析与攻击检测方法研究[D];复旦大学;2010年

中国硕士学位论文全文数据库 前10条

1 王辉;Web服务安全问题研究[D];华东师范大学;2008年

2 韩坤;Web服务安全会话管理的研究与实现[D];北京邮电大学;2007年

3 陈丽丽;Web服务安全组合问题研究[D];重庆大学;2009年

4 石勇;Web服务安全问题及其对策研究[D];北京师范大学;2008年

5 宋栋;Web服务安全代理的研究与设计[D];解放军信息工程大学;2008年

6 杨延娇;基于Web服务安全的异常数据挖掘算法研究[D];西北师范大学;2007年

7 李程程;Web服务安全通信模型研究[D];山东师范大学;2010年

8 陈阳;Web服务安全代理设计与实现[D];电子科技大学;2004年

9 卢文锋;Web服务安全结构模型研究[D];山东师范大学;2006年

10 谢凡;基于安全令牌的Web服务安全研究[D];中国地质大学（北京）;2007年

，

本文编号：525190