状态自动机

作品数：233被引量：688H指数：12
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：黄凯明早克热·卡德尔彭坤杨董群峰陈俊亮更多>>
相关机构：西安电子科技大学北京邮电大学清华大学中国科学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划陕西省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机系统结构x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于FSA和重排序的访问控制策略评估方案
《计算机工程与设计》2023年第3期685-691,共7页张玉秀 王勇 周林 
国家自然科学基金面上基金项目(61772327);上海市自然科学基金项目(20ZR1455900)。
针对访问控制策略评估效率问题,提出基于有限状态自动机(finite state automaton,FSA)和重排序的访问控制策略评估方案。以四元组的形式表示策略,构建FSA策略模型检测策略异常,消除策略中的冲突规则以及冗余规则,实现策略评估的前期优化...
关键词：访问控制 策略评估 有限状态自动机 冲突检测 冗余检测 属性完整性验证 重排序 
一种面向UEFI模块的形式化建模与验证方法被引量：1
《计算机技术与发展》2021年第12期116-121,共6页王冠 郝晓星 
国家重点研发计划(2019YFB2102303);国家自然科学基金(61971014)。
固件作为一种固化在ROM中的特殊软件程序,主要负责加电自检,硬件设备初始化,引导操作系统等基础功能,运行级别和安全等级较高,亟需一种高效、可靠的UEFI模块安全检测方法。采用形式化方法对UEFI模块进行规约与验证,对于提高固件的安全...
关键词：UEFI 形式化方法 模型检验 安全漏洞 有限状态自动机 下推自动机 
基于自动机的Java信息流分析被引量：2
《计算机应用研究》2019年第1期246-249,25,共5页吴泽智 陈性元 杜学绘 杨智 
国家高技术研究发展"863"计划资助项目(2015AA016006;2012AA012704);国家重点研发计划项目(2016YFB0501900)
面向Java的信息流分析工作需要修改编译器或实时执行环境,对已有系统兼容性差,且缺乏形式化分析与安全性证明。首先,提出了基于有限状态自动机的Java信息流分析方法,将整个程序变量污点取值空间抽象为自动机状态空间,并将Java字节码指...
关键词：有限状态自动机 动态污点跟踪 信息流分析 无干扰 JAVA 
基于DNA计算的线性时序逻辑模型检测方法被引量：4
《计算机学报》2016年第12期2578-2597,共20页朱维军 周清雷 张钦宪 
国家自然科学基金(61250007;U1204608;U1304606;61373043;61572444);中国博士后科学基金(2012M511588;2015M572120);河南省高等学校青年骨干教师资助计划(2014GGJS-001)资助~~
该文研究基于脱氧核糖核酸(Deoxyribonucleic Acid,DNA)计算的线性时序逻辑(Linear Temporal Logic,LTL)模型检测问题.为此,该文给出了使用粘贴自动机实现LTL模型检测的方法.首先,使用3′-5′型单链DNA分子对LTL公式的有穷状态自动机(Fi...
关键词：模型检测 脱氧核糖核酸 线性时序逻辑 粘贴自动机 有穷状态自动机 DNA计算 
一种多态内联代码混淆算法被引量：2
《计算机应用研究》2015年第6期1787-1790,1800,共5页邵孟良 齐德昱 刘东文 
广东省科技计划资助项目(2011B010200054);广州市应用基础研究项目(11C41150785);广州市水务科技计划资助项目
针对软件代码混淆算法中的内联方法存在混淆结果单一性问题,提出了一种多态内联代码混淆算法。基于有限状态自动机(FSM)建立了算法理论模型,对每个内联的方法体选择差异性的混淆实现,并通过理论分析说明了提出的算法在隐蔽、强度和执行...
关键词：白盒子安全 代码混淆 多态内联 有限状态自动机 
基于堆栈回溯的异常处理被引量：7
《计算机工程与设计》2014年第12期4176-4180,共5页朱剑锋 缪万胜 康介祥 
总装武器装备预研基金项目(9140C470102110C4702)
针对异常发生时无法及时有效利用异常发生的上下文信息的问题,在堆栈回溯获得上下文信息的基础上,提出一种能够记录异常信息便于线下分析,同时能够基于预设规则库支持线上对系统应用进行重构的异常处理方法。对PowerPC构架下的堆栈结构...
关键词：VxWorks应用 异常处理 上下文 有限状态自动机 函数调用链 异常日志 规则库 
基于有限状态自动机的绿通车辆驾驶室避让控制被引量：2
《吉林大学学报（工学版）》2014年第4期1069-1075,共7页李寿涛 马用学 郭鹏程 张浩 
吉林省交通厅科技发展计划项目(2010-1-4)
在高速公路绿通车道检测过程中,为了避免射线对驾驶员身体造成伤害,需要对车辆的驾驶室进行避让。本文提出了一种基于有限状态自动机的绿通车辆驾驶室避让控制方法。首先在对车辆通过绿通车道时的状态进行分析的基础上,建立了车辆驾驶...
关键词：自动控制技术 有限状态自动机 驾驶室避让 绿色通道检测 
有限状态自动机及在字符串搜索中的应用被引量：2
《北京印刷学院学报》2014年第4期45-48,共4页程晓锦 徐秀花 
北京印刷学院精品课程建设项目(22150114065)
有限状态自动机是计算机科学的重要基石,对有限自动机及其应用做了讨论,特别是应用有限自动机描述了简单模式匹配算法及K.M.P.算法,并对K.M.P.算法的时间复杂度进行了较详细的分析。为了应用有限状态自动机解决实际问题,对有限状态自动...
关键词：有限状态自动机 模式匹配 KMP算法 
一种51单片机任务调度编程方法与实现
《电脑编程技巧与维护》2013年第21期87-90,共4页万关茗 
介绍了一种程序设计方法--任务调度法,使得51单片机表达时序时,只与时钟中断有关,而与指令周期无关。这种设计方法参考操作系统中关于线程的概念,显式地区分CPU的计算能力、延时过程和用户业务逻辑,视作不同的设计对象,提高设计灵活度,...
关键词：任务调度法 51单片机 时序条件 计算能力 FSA(有限状态自动机) 
非线性一次一密(t,n)门限秘密共享方案被引量：4
《计算机应用》2013年第9期2536-2539,2545,共5页范畅 茹鹏 
针对本身不安全的线性算法构造的门限秘密共享方案存在安全漏洞的问题,以及可信方的参与容易导致单点故障和不可靠情形,结合非线性算法和密码学理论,提出一种无可信方的非线性门限秘密共享方案。方案基于混沌算法和有限状态自动机两种...
关键词：门限秘密共享 非线性 一次一密 混沌算法 有限状态自动机 
全选清除导出
共7页<1234567>
检索报告 对象比较 聚类工具 使用帮助 返回顶部