检索结果-南通市图书馆

小型微型计算机系统 2018年第1期39卷 166-172页

作者：马川王涛祁晓园王倩尤殿龙燕山大学信息科学与工程学院河北秦皇岛066004 河北省计算机虚拟技术与系统集成重点实验室河北秦皇岛066004 河北科技师范学院河北秦皇岛066004 燕山大学外国语学院河北秦皇岛066004

Android组件间通信为应用程序带来了便利性的同时也增加了安全隐患,可能导致多个应用程序协作进行共谋攻击.针对该问题,提出一种形式化的方法对Andriod应用程序的组件间通信行为进行建模和检测.通过组件级的数据流分析,为每个组件生成... 详细信息

Android组件间通信为应用程序带来了便利性的同时也增加了安全隐患,可能导致多个应用程序协作进行共谋攻击.针对该问题,提出一种形式化的方法对Andriod应用程序的组件间通信行为进行建模和检测.通过组件级的数据流分析,为每个组件生成组件数据流图.通过跟踪和分析跨组件边界的数据流找到ICC调用者和ICC被调者.基于Pi演算为组件数据流图进行形式化映射,建立了Android应用程序的行为模型.基于该行为模型,通过分析Intent的异常对基于通信的攻击进行检测.最后,分析和实验了该方法的检测效率,并和相关方法进行了对比,并通过对57个Android Apps的分析和检测,部分的验证了该方法的有效性.

关键词： Android 组件间通信 Intents 组件劫持运行时检测

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于时态断言的迁移工作流实例安全研究

基于时态断言的迁移工作流实例安全研究

引用

作者：孙风超山东大学

学位级别：硕士

迁移工作流是近年来工作流管理研究的一个新方向。基于移动计算范型的迁移工作流管理系统包括工作流引擎、迁移实例和工作位置三个要素。工作流引擎完成工作流过程定义、迁移实例生成和多迁移实例协调等工作;工作位置包括停靠站服务器... 详细信息

迁移工作流是近年来工作流管理研究的一个新方向。基于移动计算范型的迁移工作流管理系统包括工作流引擎、迁移实例和工作位置三个要素。工作流引擎完成工作流过程定义、迁移实例生成和多迁移实例协调等工作;工作位置包括停靠站服务器及其管理的工作机网络,是迁移实例的运行场所;迁移实例被定义为任务的执行体,它由工作流引擎生成,可以在工作位置之间迁移,并通过工作位置提供的本地资源和服务执行一项或多项任务,当它发现当前工作位置不能满足其执行任务的要求时,可以迁移到另一个能满足其要求的工作位置上继续执行。与过程调用相比,迁移实例具有更强的自治性。它很好地解决了网络通信的瓶颈问题,增加了任务处理的并行程度,增强了系统的灵活性、可扩充性及容错能力。迁移实例技术已成为计算机网络和分布式系统最具活力的发展方向之一,但在复杂的网络环境下,对迁移实例的安全性提出了特殊要求。本文在分析现有的保护迁移实例安全技术的基础上,利用时态逻辑可以处理含有时间信息的事件的命题和谓词的特性,设计了基于LTL、Java Annotation的安全检测机制。该机制属于事后检测,可辨别出针对迁移实例代码或状态的更改行为,从而判断迁移实例是否遭受攻击。该方案首先分析了迁移实例在迁移过程中可能遭受的各种安全威胁,如非法窃听、篡改、伪造等,根据各种安全威胁的特点设计不同的安全断言,然后根据迁移实例生命周期图分析迁移实例的运行特点,使用运行约束断言定义相应的约束条件。当定义好需要验证的安全需求后,以LTL注释(该注释说明了程序所需验证的时态断言)标记源程序并使用J-LO工具进行验证。实验表明,该方案可以有效检测迁移实例在运行过程中的安全状态,进一步完善了迁移实例的设计,提高了迁移工作流管理系统的安全性。但是在实时检测迁移实例安全状态的同时,不可避免的带来了系统性能的下降,因此迁移工作流管理系统如何在安全性、性能和成本之间取得平衡是应用发展不可缺少的基础。迁移工作流是一种比较新的技术,在大规模、分布式、跨平台的应用中迁移实例有其独特的优势。但是由于目前迁移工作流技术尚未成熟,其管理、通信机制、移动以及安全等诸多方面需要进一步研究。随着研究的不断深入,迁移工作流管理系统的安全性问题也将得到逐步的解决。

关键词：迁移工作流迁移实例时态断言运行时检测

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

微服务组合验证方法综述

引用

无线通信技术 2019年第3期28卷 46-50页

作者：毛昕怡辛园园宁波大学信息科学与工程学院

微服务架构作为一种分布式的架构,因其良好的平台兼容性、灵活的动态扩展能力、强大的容错能力等特点,在业内引起了越来越多的关注.在微服务架构中,通常单一微服务仅能实现一个简单的功能,而实现复杂的业务功能时,需将系统中各个独立的... 详细信息

微服务架构作为一种分布式的架构,因其良好的平台兼容性、灵活的动态扩展能力、强大的容错能力等特点,在业内引起了越来越多的关注.在微服务架构中,通常单一微服务仅能实现一个简单的功能,而实现复杂的业务功能时,需将系统中各个独立的微服务进行灵活组合,以满足更为丰富的业务需求.但组合后的微服务可能存在逻辑错误或安全性等问题,因此若要保证组合后的微服务能够完成期望的业务功能,同时在运行时不会出现不期望的情况,则需对组合服务进行验证.研究微服务组合验证能够确保组合服务正常运行并且达到预期目标.本文旨在对当前微服务组合验证的相关研究进行综述,先对微服务的概念及微服务的组合进行介绍,再分别从微服务的静态验证和运行时检测两个方面,对目前微服务组合验证的研究工作进行阐述.

关键词：微服务微服务组合形式化验证方法运行时检测

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：