PI演算

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用研究x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Pi演算的Android App权限提升攻击检测被引量：1
《计算机应用研究》2020年第12期3699-3703,共5页王涛 马川 
河北省社会科学基金资助项目(HB18SH012)。
针对Android App权限提升攻击的问题,基于Pi演算构建了一个形式化的权限提升攻击检测模型。利用扩展后的Pi演算对Android App及其运行时环境进行建模,得到形式化的行为模型;通过将权限安全策略形式化的表示为包含进程表达式的IF-THEN规...
关键词：Android App 权限提升 静态分析 进程代数 安全策略 
跨组织业务过程协同多视图模型被引量：3
《计算机应用研究》2015年第9期2687-2692,共6页笪建 莫启 李彤 代飞 朱锐 骆霄 林雷蕾 程耀坤 
国家自然科学基金资助项目(61379032;61262024);云南省应用基础研究计划项目(2012FD005);云南省软件工程重点实验室开放基金资助项目(2012SE307);云南省教育厅科学研究基金资助项目(2013Y365)
为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与内部...
关键词：跨组织业务过程 协同 异步通信 上下文无关 PI演算 
无双线性对的无证书两方认证密钥协商协议被引量：4
《计算机应用研究》2012年第6期2240-2242,2267,共4页潘进 刘小琼 李国朋 
鉴于双线性对运算复杂度较高,不适用于移动通信环境,提出新的无双线性对的基于无证书的两方认证密钥协商协议。新协议解决了基于身份的公钥密码方案中固有的密钥托管问题,实现了对通信双方的身份认证,采用非双线性对运算,极大地降低了...
关键词：密钥协商 无证书密码体制 无双线性对 Applied PI演算 形式化分析 
基于Pi演算的构件行为兼容性研究
《计算机应用研究》2010年第2期537-540,共4页赵春波 吴卿 胡维华 
国家自然科学基金资助项目(60703088)
构件行为的兼容性分析是研究构件动态交互过程中的重要问题,其研究结果可应用于构件替换、迁移、动态自适应演化等研究。为了保证构件在替换或组合之后系统仍能正常稳定运行,利用Pi演算对构件行为进行建模,并对多个构件行为间的兼容性...
关键词：PI演算 构件行为 行为交互 兼容性 兼容度 
基于类pi演算的电子支付协议安全性形式化研究被引量：2
《计算机应用研究》2006年第3期22-24,共3页顾永跟 李国强 王国钧 
国家自然科学基金资助项目(60473006)
设计一个满足安全需求的协议非常困难,并且极易出错,因此利用形式化方法来检验安全协议引起了人们极大的关注。使用了类pi演算来验证电子支付协议的认证性和匿名性。
关键词：类pi演算 电子支付协议 认证性 匿名性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部