PI演算

作品数：73被引量：109H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：郭小群郝克刚侯红李彤莫启更多>>
相关机构：吉林大学西北大学武汉大学云南大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Pi演算的药品云物流业务流程建模分析
《电子技术（上海）》2023年第5期64-66,共3页刘峰 
阐述Pi演算来推演药品云物流系统的交互行为,形式化验证了交互行为的可靠性及安全性。设计出的模型可为实际系统的设计开发提供参考和依据。使用药品云物流系统可以提高效率、降低成本。
关键词：药品云物流系统 PI 演算 形式化验证 
一种分布式科技资源池架构及其交互行为分析
《计算机技术与发展》2021年第12期105-109,共5页张娓娓 李苗钰 石梅 朱省吾 黄位 郭军 
国家重点研发计划项目(2017YFB1400301)。
科技资源服务是云计算环境下数据服务领域的重要业务之一。但是,由于科技资源归属单位不同,条块分割,实现跨平台服务与共享存在很大障碍。为了解决资源空间分散、业务并发等问题,需要构建基于分布式虚拟化存储技术的科技资源服务业务虚...
关键词：分布式系统 科技资源池 PI演算 交互行为 数据汇聚 
C2P:基于Pi演算的协议C代码形式化抽象方法和工具被引量：4
《软件学报》2021年第6期1581-1596,共16页张协力 祝跃飞 顾纯祥 陈熹 
国家重点研发计划(2019QY1302)。
形式化方法为安全协议分析提供了理论工具,但经过形式化验证过的协议标准在转换为具体程序实现时,可能无法满足相应的安全属性.为此,提出了一种检测安全协议代码语义逻辑错误的形式化验证方法.通过将协议C源码自动化抽象为Pi演算模型,基...
关键词：协议实现 形式化验证 PI演算 模型抽取 ProVerif 
基于Pi演算的Android App权限提升攻击检测被引量：1
《计算机应用研究》2020年第12期3699-3703,共5页王涛 马川 
河北省社会科学基金资助项目(HB18SH012)。
针对Android App权限提升攻击的问题,基于Pi演算构建了一个形式化的权限提升攻击检测模型。利用扩展后的Pi演算对Android App及其运行时环境进行建模,得到形式化的行为模型;通过将权限安全策略形式化的表示为包含进程表达式的IF-THEN规...
关键词：Android App 权限提升 静态分析 进程代数 安全策略 
基于Pi演算的Android多线程程序的数据竞争检测被引量：2
《广西师范大学学报（自然科学版）》2020年第2期29-42,共14页王涛 马川 
河北省社会科学基金(HB18SH012)。
针对事件驱动机制下Android多线程程序的数据竞争问题,构造一个基于Pi演算的并发行为检测模型。利用扩展后的Pi演算对Android生命周期和多线程框架进行建模,得到形式化的行为模型;通过将安全约束抽象为形式化的IF-THEN规则,并利用Pi演...
关键词：ANDROID APPS 数据竞争 并发行为 进程代数 多线程 
基于符号模型的TLS1.3协议安全性自动化分析被引量：4
《数学的实践与认识》2019年第5期198-206,共9页王小峰 张奇林 刘加兵 
中国博士后基金项目(2016M602370);国家自然科学基金一般项目(61272497);教育部人文社会科学重点研究基地重大项目(15JJD630009)
网络安全是网络空间安全的一个重要研究领域,网络安全协议则是实现网络安全的核心技术.在2017年最新发布的TLS1.3协议是实现网络安全的一个关键传输层安全协议,因此其安全性受到了人们的广泛关注.为了验证TLS1.3协议的安全性,尤其是秘...
关键词：认证性 秘密性 APPLIED PI演算 符号模型 形式化方析 ProVerif 
基于Pi演算的前沿调度算法并行性建模及实现被引量：3
《吉林大学学报（工学版）》2019年第1期242-247,共6页陈海鹏 邱际伦 邱峰 邢雪 
国家自然科学基金项目(61672259;61602203);吉林省优秀青年人才基金项目(20170520064JH)
前沿调度算法是分布式环境下任务调度算法——关系演化算法的第一阶段。本文利用Pi演算的通道和表编程概念,提出对前沿调度算法并行性建模,并通过Pict语言编程实现。实验证明这种算法实现比传统的C语言实现更加高效,从而能够将Pi演算应...
关键词：计算机系统结构 分布式任务调度算法 贪心算法 PI演算 并行性 
适用于医院信息管理系统的Pi演算的业务流程建模被引量：1
《信息技术与信息化》2018年第8期22-23,共2页刘峰 王剑 
山西医科大学汾阳学院人才引进基金(No.2016D01)
在医院信息管理系统中,医院耗材管理起着非常重要的作用。应用Pi演算对医院信息系统中的耗材计划管理流程建模,并应用MWB对流程进行验证,保证了后期研究开发的正确性。
关键词：医院耗材管理 PI演算 流程建模 
利用Pi演算实现对服务交互流程的设计被引量：1
《数字技术与应用》2016年第4期166-166,共1页刘亚亚 姜久雷 
Pi演算作为一种移动进程代数,可用于分析和设计并行的分布式业务流程。基于Pi演算实现对跨组织服务交互流程的结构与形式化模型设计,主要包括基本服务交互流程和动态交互流程两部分。前者通过Pi演算基本的形式化语义构建交互模型并实现...
关键词：PI演算 服务交互流程 形式化语义 
多Web服务组合兼容性的自动化验证被引量：1
《计算机工程与应用》2016年第7期67-73,共7页贾志淳 邢星 
Web服务组合的目的是实现单一服务无法满足的复杂功能,而保证组合的正确性以实现服务增值是十分必要,因此组合之后的正确性验证是Web服务组合的一个重要研究方向。从Web服务交互行为方面描述多Web服务组合,在提出行为兼容性的相关理论...
关键词：PI演算 WEB服务组合 行为兼容性 WEB服务行为 自动化验证 
全选清除导出
共8页<12345678>
检索报告 对象比较 聚类工具 使用帮助 返回顶部