进程代数

作品数：179被引量：462H指数：10
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：傅育熙马川祝义赵会群王涛更多>>
相关机构：上海交通大学南京航空航天大学华东师范大学清华大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向CPS时空规则验证制导的安全强化学习
《计算机科学与探索》2025年第2期513-527,共15页印婵 祝义 王金永 陈小颖 郝国生 
国家自然科学基金(62077029,62277030);CCF-华为胡杨林基金(CCF-HuaweiFM202209);高安全系统的软件开发与验证技术工业和信息化部重点实验室开放项目基金(NJ2020022);江苏省研究生科研与实践创新项目(SJCX22_1261)。
深度强化学习是目前信息物理融合系统(CPS)决策中常用的一种方法。然而,当面对未知环境和复杂任务时,基于黑盒的深度强化学习方法在系统的安全性和奖励函数设置的可解释性方面存在不足。针对上述问题,提出了一种形式化时空规则验证制导...
关键词：信息物理融合系统 形式化方法 进程代数 安全强化学习 自动驾驶 
一种基于相似学习者判定的个性化学习路径推荐及验证方法被引量：1
《计算机科学》2023年第S02期496-505,共10页冯舒 祝义 宋媚 居程程 
国家自然科学基金(62077029);CCF-华为创新研究计划资助(CCF-HuaweiFM202209);南京航空航天大学基本科研业务费科研基地创新基金(NJ2020022);未来网络科研基金项目(FNSRFP-2021-YB-32);江苏师范大学研究生科研创新计划(2021XKT1384)。
基于相似学习者判定方法由于具有轻量级的特点而被广泛用于个性化推荐领域,目前一般采用协同过滤等机器学习的方法,但此类方法并不能保证判定过程的可解释性以及判定结果的可信性。针对这一问题,提出一种基于相似学习者判定的个性化学...
关键词：学习行为序列相似性 进程代数 CCS 互模拟 
Web服务交互过程建模与验证研究
《科技创新与应用》2023年第27期8-11,共4页包力 
内蒙古自然科学基金项目(2022MS06004)。
Web服务的正确交互是其成功组合的先决条件,该文提出一种Web服务动态交互模型(IWSN),旨在解决Web服务的正确交互问题、提升Web服务组合的灵活性、保证Web服务间的行为兼容性并进一步促进Web服务组合在相关领域的应用。IWSN模型基于Kahn...
关键词：WEB服务 IWSN 进程代数 KPN 服务交互 
面向CPS时空约束的资源建模及其安全性验证方法被引量：2
《软件学报》2022年第8期2815-2838,共24页陈小颖 祝义 赵宇 王金永 
国家自然科学基金(62077029);南京航空航天大学基本科研业务费科研基地创新基金(NJ2020022);未来网络科研基金(FNSRFP-2021-YB-32);徐州市应用基础研究计划(KC19004);江苏省研究生科研创新计划(KYCX20_2380);江苏省研究生科研创新计划(KYCX20_2384)。
信息物理融合系统CPS(cyber physical system)是在环境感知的基础上,集合物理与计算的系统,可以实现与环境的智能交互.CPS信息物理空间的不断变化,对CPS资源安全性造成一定的挑战.因此,如何研究这一类由时空变化而导致的CPS资源安全性...
关键词：信息物理融合系统 进程代数 形式化验证 时空约束 资源安全性 
基于随机进程代数的在线客服系统建模及优化被引量：2
《海军工程大学学报》2022年第4期53-58,共6页严博 周大伟 付钰 侯文瑞 
国家重点研发计划基金资助项目(2018YFB0804104)。
随着用户规模的增大以及智能客服技术的不断成熟,对在线客服系统资源配置进行合理优化,成为企业平衡用户服务水平与运营成本的迫切需求。首先,针对一类典型的存在不同用户类别的在线客服系统,利用随机进程代数语法分别描述了系统用户和...
关键词：在线客服系统 随机进程代数 服务质量 
一种基于进程代数的Android组件行为形式化描述方法
《小型微型计算机系统》2021年第7期1561-1568,共8页梁东魁 申利民 马川 冯佳音 陈真 
国家自然科学基金项目(61772450)资助;河北省自然科学基金项目(F2019203287)资助;河北省自然科学基金项目(F2017203307)资助;河北省高等学校科学技术研究项目(QN2020183)资助;河北省博士后科研项目(B2018003009)资助。
已有多种技术和方法用于Android恶意应用的检测,但关于应用行为形式化描述的研究仍有待完善.本文基于π演算提出一种使用进程代数从组件层次描述Android应用及组件行为的形式化描述方法.首先给出组件行为的基本语义和组件行为的定义,并...
关键词：恶意应用 组件行为 进程代数 Π演算 形式化描述 模拟机制 
基于进程代数的Otway-Rees协议的形式化验证
《计算机科学》2021年第S01期477-480,共4页蔡雨桐 王勇 王然然 姜正涛 代桂平 
广西密码学与信息安全重点实验室研究课题(GCIS201808)。
Otway-Rees协议的目的是完成发起者和响应者之间的双向认证,并且分发服务器产生的会话密钥。该协议的特点是简单实用,没有使用复杂的同步时钟机制或双重加密,仅用少量的信息提供了良好的时效性。此协议允许通过一个网络的个别通信认证...
关键词：Otway-Rees 安全协议 协议验证 形式化 进程代数 
面向CPS时空性质验证的混成AADL建模与模型转换方法被引量：6
《软件学报》2021年第6期1779-1798,共20页陈小颖 祝义 赵宇 王金永 
国家自然科学基金(62077029);徐州市应用基础研究计划(KC19004);江苏省研究生科研创新计划(KYCX20_2380);江苏省研究生科研创新计划(KYCX20_2384)。
随着信息物理融合系统CPS(cyber physical system)研究的深入,CPS的安全性问题越来越受到人们的广泛关注,如何验证CPS时空不一致的安全性问题已经成为研究热点.针对该问题,提出了面向CPS时空性质验证的混成AADL(architecture analysis&d...
关键词：信息物理融合系统 时空性质 进程代数 AADL 形式化验证 
基于进程代数的Yahalom协议正确性的形式化验证
《计算机科学》2021年第S01期481-484,共4页王然然 王勇 蔡雨桐 姜正涛 代桂平 
广西密码学与信息安全重点实验室研究课题(GCIS201808)。
通信过程中为了使得通信双方之间的对话过程是安全传输的,在引入可信第三方的基础上,Yahalom协议借助于可信第三方为通信双方分配"好"的会话密钥,利用该共享密钥加密对话内容保证双方对话的安全。Yahalom协议的形式化验证具有很重要的...
关键词：Yahalom协议 进程代数 形式化的验证 可信第三方 ACP公理系统 
基于Pi演算的Android App权限提升攻击检测被引量：1
《计算机应用研究》2020年第12期3699-3703,共5页王涛 马川 
河北省社会科学基金资助项目(HB18SH012)。
针对Android App权限提升攻击的问题,基于Pi演算构建了一个形式化的权限提升攻击检测模型。利用扩展后的Pi演算对Android App及其运行时环境进行建模,得到形式化的行为模型;通过将权限安全策略形式化的表示为包含进程表达式的IF-THEN规...
关键词：Android App 权限提升 静态分析 进程代数 安全策略 
全选清除导出
共18页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部