Π演算

作品数：95被引量：196H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：梁爱南于振华黄贤明蔡远利李长云更多>>
相关机构：上海交通大学湖南工业大学吉林大学西安交通大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划湖南省教育厅科研基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于进程代数的Android组件行为形式化描述方法
《小型微型计算机系统》2021年第7期1561-1568,共8页梁东魁 申利民 马川 冯佳音 陈真 
国家自然科学基金项目(61772450)资助;河北省自然科学基金项目(F2019203287)资助;河北省自然科学基金项目(F2017203307)资助;河北省高等学校科学技术研究项目(QN2020183)资助;河北省博士后科研项目(B2018003009)资助。
已有多种技术和方法用于Android恶意应用的检测,但关于应用行为形式化描述的研究仍有待完善.本文基于π演算提出一种使用进程代数从组件层次描述Android应用及组件行为的形式化描述方法.首先给出组件行为的基本语义和组件行为的定义,并...
关键词：恶意应用 组件行为 进程代数 Π演算 形式化描述 模拟机制 
基于混合流策略的按需分布式云信息流控制模型被引量：1
《计算机科学》2017年第10期150-158,共9页杜远志 杜学绘 杨智 
基于多维控制的云计算信息流追责;管控技术(863)(2015AA016006);国家重点研发计划项目:协同精密定位总体架构与服务平台设计(2016FYB0501901)资助
为确保云平台上虚拟机系统用户信息的安全,提出了一种基于混合流策略的按需分布式云信息流控制模型(Mixed Flow Policy Based On-demand Distributed Cloud Information Flow Control Model,MDIFC)。该模型以分布式信息流控制模型为基础...
关键词：云计算 信息流控制 按需污点传播 中国墙策略 Π演算 
Confined-π演算中的等价关系及船舶安全信息流分析
《舰船科学技术》2017年第2X期166-168,共3页曹鑫 路遥 
在船舶信息安全流分析中,怎样建立合理的非干扰安全性是关键问题。本文通过对Confined-π演算的研究分析,利用Confined-π演算的互模拟等价关系构建船舶安全信息流的安全结构,并给出一种基于Confined-π演算的安全策略。
关键词：Confined-π 等价关系 安全信息流 
采用扩展π演算的测试用例生成方法
《计算机工程与设计》2016年第11期2985-2991,共7页罗玲 
国家自然科学基金项目(61303031)
针对时间相关并发系统的测试问题,提出一种采用扩展π演算p-π的测试用例生成方法。采用p-π为时间相关并发系统建模,由p-π的操作规则构造出系统模型的时间相关标记迁移系统,基于时间相关标记迁移系统和用例规约生成测试用例,测试用例...
关键词：Π演算 进程代数 测试用例 基于模型的测试 形式化模型 
基于L-π演算的WSN路由协议形式化方法被引量：2
《吉林大学学报（工学版）》2015年第5期1565-1571,共7页冯晓宁 王卓 张旭 
国家自然科学基金项目(61100006;61272184);黑龙江省自然科学基金项目(F201129)
针对无线传感器网络路由协议形式化描述与验证的问题,提出了一种形式化方法 L-π演算。定义了L-π演算的语法,形式化描述无线传感器节点的广播与单播的通信行为。定义了相应的结构同余,描述了节点表达式的非顺序性。定义了相应的迁移规...
关键词：计算机软件 无线传感器网络 路由协议 形式化方法 L-π演算 
带Mismatch算子的高阶π演算
《软件学报》2014年第11期2433-2451,共19页徐贤 
国家自然科学基金-法国国家科研署联合项目PACE(61261130589;12IS02001);国家自然科学基金(61202023;61173048)
主要研究带mismatch的高阶进程演算的公理化问题.首先,建立存在mismatch时高阶进程的开弱高阶互模拟理论,证明了等价关系、同余性等重要性质;其次,沿用线性的方法,构建得到带mismatch的有限进程上的公理系统;最后,基于对开弱高阶互模拟...
关键词：公理化 互模拟 MISMATCH 线性 高阶 Π演算 进程演算 
扩展π演算对时间相关移动并发系统的建模与推演被引量：1
《西安交通大学学报》2014年第9期30-36,共7页罗玲 段振华 
国家"973"重点基础研究发展规划资助项目(2010CB328102);国家自然科学基金资助项目(61003078);综合业务网理论及关键技术国家重点实验室基金资助项目(ISN1102001)
针对π演算难于对时间相关移动并发系统进行建模和推演,提出了一种采用扩展π演算p-π对时间相关移动并发系统进行形式化建模与推演的方法。该方法首先采用区间动作前缀和瞬时动作前缀分别描述系统的时间相关行为和交互行为,并通过操作...
关键词：Π演算 时间相关移动并发系统 形式化建模 推演 
信息物理融合系统可信软件形式化建模与分析被引量：2
《系统工程理论与实践》2014年第7期1857-1867,共11页于振华 蔡远利 付晓 谢文军 徐海平 
国家自然科学基金(61202128);航空科学基金(20100796004;20125896020);陕西省自然科学基金(2011JQ8011)
从多Agent系统的角度,以Petri网和π演算为语义基础,建立了一种信息物理融合系统(cyber-physical systems,CPS)可信软件形式化模型(high-confidence software formal model,HCSFM).HCSFM以Petri网形象地描述CPS可信软件静态结构模型及...
关键词：信息物理融合系统 可信软件 PETRI网 Π演算 建模 演化 
基于π演算的云服务安全检测
《吉林大学学报（理学版）》2014年第3期503-508,共6页刘磊 任俊绮 张鹏 申春 
国家自然科学基金(批准号:61300049);教育部高等学校博士学科点专项基金(批准号:20120061120059);吉林省科技发展计划项目(批准号:20130206052GX;20140520069JH)
利用π演算对云服务流程进行形式化描述,基于描述结果给出一种针对用户越权访问和服务不完整两种安全性问题的检测方法.基于云环境下的虚拟机部署实例对该方法的流程进行了说明,并将该方法与Bayes网和预测规则集等安全检测方法进行对比...
关键词：云服务 Π演算 越权访问 完整性 
一种递归π演算向Petri网的转换方法被引量：2
《吉林大学学报（工学版）》2014年第1期142-148,共7页康辉 张双双 梅芳 
国家自然科学基金项目(61073164)
针对π演算中的递归结构,本文给出了一种递归π演算向Petri网的转换方法。该转换遵循基本进程转换规则以及组合规则,采用层次化方法,针对递归次数较多时产生的Petri网结点过多的情况,本文给出了一种更简洁的Petri网表示,它保留了系统的...
关键词：计算机软件 递归兀演算转换 层次化方法 Petri网简洁表示 互模拟等价 
全选清除导出
共10页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部