搜索到259篇“ PI演算“的相关文章
- 基于Pi演算的药品云物流业务流程建模分析
- 2023年
- 阐述Pi演算来推演药品云物流系统的交互行为,形式化验证了交互行为的可靠性及安全性。设计出的模型可为实际系统的设计开发提供参考和依据。使用药品云物流系统可以提高效率、降低成本。
- 刘峰
- 关键词：PI形式化验证
- C2P:基于Pi演算的协议C代码形式化抽象方法和工具被引量：4
- 2021年
- 形式化方法为安全协议分析提供了理论工具,但经过形式化验证过的协议标准在转换为具体程序实现时,可能无法满足相应的安全属性.为此,提出了一种检测安全协议代码语义逻辑错误的形式化验证方法.通过将协议C源码自动化抽象为Pi演算模型,基于Pi演算模型对协议安全属性形式化验证.最后给出了方案转换的正确性证明,并通过对Kerberos协议实例代码验证表明方法的有效性.根据该方案实现了自动化模型抽象工具C2P与成熟的协议验证工具ProVerif结合,能够为协议开发者或测试人员检测代码中的语义逻辑错误提供帮助.
- 张协力祝跃飞顾纯祥陈熹
- 关键词：形式化验证PI演算
- 基于Pi演算的多Agent异构系统任务调度模型的研究与实现
- 分布式系统以其优秀的计算能力和卓越的可扩展性成为了计算机领域的热门研究对象，它可以从分散的主机中收集数据并利用这些主机完成大数据的计算，而在计算过程中便涉及到了分布式系统中的任务调度问题。目前的分布式系统逐渐趋于异构性，...
- 王海旭
- 关键词：异构分布式系统任务调度PI演算
- 基于Pi演算的Android App权限提升攻击检测被引量：1
- 2020年
- 针对Android App权限提升攻击的问题,基于Pi演算构建了一个形式化的权限提升攻击检测模型。利用扩展后的Pi演算对Android App及其运行时环境进行建模,得到形式化的行为模型;通过将权限安全策略形式化的表示为包含进程表达式的IF-THEN规则,并利用Pi演算的性质进行进程演算和迁移,构建了检测模型,并给出了权限提升攻击检测的方法。理论分析和实验表明,该方法具有线性的时间和空间复杂度,并可以非常容易地将现有的权限安全策略应用在该模型中,保证了模型的精确性。相比其他方法,该方法在提高检测精确性的同时并没有牺牲检测的效率。
- 王涛马川
- 关键词：权限提升进程代数
- 基于Pi演算的Android多线程程序的数据竞争检测被引量：2
- 2020年
- 针对事件驱动机制下Android多线程程序的数据竞争问题,构造一个基于Pi演算的并发行为检测模型。利用扩展后的Pi演算对Android生命周期和多线程框架进行建模,得到形式化的行为模型;通过将安全约束抽象为形式化的IF-THEN规则,并利用Pi演算的性质进行进程演算和迁移,构建了检测模型;将动态检测与静态检测以相同的处理方式结合在检测模型中,并给出了并发行为检测算法和数据竞争检测的方法。理论分析和实验表明,本文所提出的方法具有线性的时间和空间复杂度,相比其他方法,在提高检测精确性的同时并没有牺牲检测的效率。
- 王涛王涛
- 关键词：ANDROIDAPPS数据竞争进程代数多线程
- 基于量子博弈和PI演算的心智行为预测方法
- 本发明公开了基于量子博弈和PI演算的心智行为预测方法，涉及心智计算技术领域，利用具有心灵感应的人之间可以先将输入状态转换为纠缠态，然后各自利用测量后触发并行进程的下一步操作，心灵交互后各自的选择策略相同，从而可以得到收益...
- 曹发生
- 文献传递
- 基于Pi演算的前沿调度算法并行性建模及实现被引量：3
- 2019年
- 前沿调度算法是分布式环境下任务调度算法——关系演化算法的第一阶段。本文利用Pi演算的通道和表编程概念,提出对前沿调度算法并行性建模,并通过Pict语言编程实现。实验证明这种算法实现比传统的C语言实现更加高效,从而能够将Pi演算应用到关系演化算法的三个阶段中,提高关系演化调度算法的效率。本文通过对不同类型的任务调度模型的拓扑结构进行建模对比,验证了使用并行性的Pi演算对前沿调度算法实现的效率的优越性。
- 陈海鹏邱际伦邱峰邢雪
- 关键词：计算机系统结构贪心算法PI演算并行性
- 基于Pi演算的分布式多Agent编程模型的设计
- 分布式环境是高性能计算领域的研究热点,它能够利用分散的机器资源,协同完成大型计算任务。但分布式系统的规模,常常会因机器的加入或退出发生改变,进而导致网络拓扑结构也随之变化。如何保证分布式系统快速适应新的拓扑结构,并继续完...
- 徐男
- 关键词：PI演算移动AGENT分布式环境
- 基于Pi演算的分布式多Agent异构调度算法的研究与实现
- 任务调度问题是分布式计算领域的核心问题之一,它不仅可以有效地提高计算能力,同时可以保证应用程序合理有效地运行,直接影响整个分布式计算环境的整体性能。由于调度问题是NP难问题,如何提高调度算法的效率一直是众多学者的研究方向...
- 李柏润
- 关键词：分布式任务调度PI演算多AGENT
- 文献传递
- 子异步Pi演算及其完全抽象编码
- 随着多线程并发计算在我们生活中越来越普遍,π演算作为一种重要的并发计算模型,被广泛地应用于动态系统的建模上。由于异步通信在许多并发系统中更为常见,例如分布式系统等,因此在同步π演算的基础上,衍生出了可以异步通信的异步π演...
- 杜文俊
- 文献传递
相关作者
- 郭小群
- 作品数：22被引量：77H指数：5
- 供职机构：西北大学信息科学与技术学院
- 研究主题：PI演算 PETRI网 PI 函数符号 图灵机
- 郝克刚
- 作品数：171被引量：838H指数：16
- 供职机构：西北大学信息科学与技术学院
- 研究主题：PETRI网 面向对象 工作流 软件开发 PI演算
- 侯红
- 作品数：54被引量：146H指数：8
- 供职机构：西北大学
- 研究主题：软件过程改进 PI演算 PETRI网 软件过程管理 软件维护
- 黄邵
- 作品数：5被引量：5H指数：2
- 供职机构：湖南省第一师范学校信息技术系
- 研究主题：BPEL4WS PI演算 WEB服务组合 相容性 PI-演算
- 丁剑洁
- 作品数：25被引量：94H指数：5
- 供职机构：陕西学前师范学院
- 研究主题：软件维护 核心资产 PETRI网 PI演算 粗糙集
