状态机

作品数：2551被引量：6168H指数：23
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：宫云战李宣东尹霞王之梁赵保华更多>>
相关机构：华为技术有限公司中国科学院华中科技大学上海交通大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于解释Petri网的新型CPS分解方法
《计算机科学》2025年第4期49-53,共5页陈宇浩 屠翰乾 相东明 
国家自然科学基金(62002328);浙江理工大学科研业务费专项资金(24232123-Y)。
Petri网被广泛应用于信息物理系统(Cyber-Physical Systems,CPS)的建模与分析,这些系统通常包含多个并发任务。为了简化CPS的实现过程,可将其分解成为若干独立组件。现有的CPS分解方法,如基于整数线性代数的算法,面临高时间复杂度问题;...
关键词：信息物理系统 PETRI网 状态机组件 可编程门阵列 系统分解 
基于状态偏离分析的Web访问控制漏洞检测方法被引量：2
《计算机科学》2023年第2期346-352,共7页马琪灿 武泽慧 王允超 王新蕾 
国家重点研发计划(2019QY0501)。
攻击者可利用Web应用程序中存在的漏洞实施破坏应用功能、木马植入等恶意行为。针对Web应用程序的访问控制漏洞的检测问题,现有方法由于代码特征难提取、行为刻画不准确等问题导致误报率和漏报率过高,且效率低下。文中提出了一种基于状...
关键词：WEB应用程序 访问控制漏洞 逻辑漏洞 有限状态机 
基于有限状态机的内核漏洞攻击自动化分析技术被引量：4
《计算机科学》2022年第11期326-334,共9页刘培文 舒辉 吕小少 赵耘田 
国家重点研发计划(2019QY1305)。
内核漏洞攻击是针对操作系统常用的攻击手段,对各攻击阶段进行分析是抵御该类攻击的关键。由于内核漏洞类型、触发路径、利用模式的复杂多样,内核漏洞攻击过程的分析难度较大,而且现有的分析工作主要以污点分析等正向程序分析方法为主,...
关键词：内核漏洞 漏洞利用 提权攻击 反向分析 漏洞触发点定位 
改善STARTUP阶段空窗现象的BBR单边适应算法
《计算机科学》2022年第2期321-328,共8页马力文 周颖 
国家自然科学基金(62073172)。
为了解决校园网中应用的BBR(Bottleneck Bandwidth and Round-Trip Time)拥塞控制算法在STARTUP阶段由于未收到ACK(Acknowledge Character)而引起的时延振荡和空窗问题,提出了BBR单边适应算法。该算法只运行在发送端,不受网络协议和上...
关键词：瞬时平均偏差 时延估计器 振荡平滑因子 流量状态机 STARTUP状态机 
基于程序转化的SCADE模型检测被引量：3
《计算机科学》2021年第12期125-130,共6页冉丹 陈哲 孙毅 杨志斌 
国家自然基金委员会-中国民航局民航联合研究基金(U1533130);中央高校基本科研业务费人工智能+专项(NZ2020019);上海市高可信计算重点实验室开放课题;南京大学计算机软件新技术国家重点实验室开放课(KFKT2020B10)。
SCADE同步语言是一种常用的嵌入式系统程序设计语言。在航空、航天、交通等安全关键领域的装备研发中,SCADE同步语言通常被用于实现实时嵌入式自动控制系统。SCADE语言是工业级的开发工具,它源于Lustre语言,并在其基础上增加了更多的语...
关键词：模型检测 安全有限状态机 词法分析 语法分析 抽象语法树 JKind 
基于深度优先搜索的模糊测试用例生成方法被引量：3
《计算机科学》2021年第12期85-93,共9页李毅豪 洪征 林培鸿 
国家重点研发计划(2017YFB0802900)。
模糊测试是挖掘网络协议漏洞的重要方法之一。现有的模糊测试方法存在覆盖路径不完全、效率低下等问题。为了解决这些问题,文中提出了基于深度优先搜索的模糊测试用例生成方法,该方法将状态机转换成有向无回路图,以获得状态迁移路径,并...
关键词：模糊测试 漏洞挖掘 有状态协议 协议状态机 深度优先搜索 
基于Smali Code的移动应用行为模型的自动构建方法被引量：1
《计算机科学》2017年第11期207-220,231,共15页余勇 郭骞 
面向电力移动终端的应用测试技术研究(5455HT150029)资助
移动应用数量的快速增长,以及移动应用开发周期短、迭代速度快等特点,使得移动应用的测试面临挑战,许多应用没有经过充分测试就被投放到市场,其中可能包含程序缺陷,从而影响用户体验。模型驱动的测试方法是最有效的测试方法之一,在功能...
关键词：移动应用测试 模型驱动测试 模型构建 移动应用行为模型 逆向工程 状态机 
一种面向业务的动态访问控制模型被引量：1
《计算机科学》2017年第8期140-145,167,共7页谭韧 殷肖川 李晓辉 卞洋洋 
国家自然科学基金(61402510);陕西省工业科技攻关项目(2016GY-087)资助
针对基于角色的访问控制(RBAC)模型在业务处理流程中访问控制粒度过粗和无法动态调整授权等方面的问题,提出了一种面向业务的动态RBAC模型(BO-RBAC)。该模型参考基于任务的访问控制(TBAC)模型,引入了业务、业务步和授权步等概念,并形式...
关键词：RBAC TBAC 动态授权 访问控制 马尔可夫状态机 
有限状态机模型测试序列生成算法研究被引量：6
《计算机科学》2016年第S2期474-481,共8页李元平 李华 赵俊岚 
国家自然基金项目资助项目:面向属性的CPN建模及On the Fly辅助的测试生成方法研究(61163011);赛尔网络下一代互联网技术创新项目:SDN环境下IPv6网络测试研究(CERNET IPv6 Innovation Project)(NGII20150112)资助
在测试工程学中,应用测试生成树构建测试序列是相关测试方法的基础步骤,在传统测试生成树的基础上加入约束集的概念,使产生的测试生成树符合生产实际。同时在面向状态识别的测试方法中,考虑约束集对所生成状态区分序列的影响,基于带约...
关键词：DFSM NFSM 约束集 适应性测试 
一种基于域知识的协议状态机主动推断算法被引量：4
《计算机科学》2015年第12期233-239,共7页王辰 吴礼发 洪征 郑成辉 庄洪林 
国家自然科学基金项目(611032253);江苏省自然科学基金项目(BK2011115)资助
现有基于L*算法的协议状态机主动推断方法忽略了协议特有的域知识,将协议报文抽象为相互独立、无意义的符号,并完全随机地生成测试样本进行状态机等价判定,导致产生大量的无效询问和测试样本,在真实网络环境下推断效率较低。在L+M算法...
关键词：L^＊算法 协议状态机 主动推断 域知识 推断效率 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部