状态自动机

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与设计x
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于FSA和重排序的访问控制策略评估方案
《计算机工程与设计》2023年第3期685-691,共7页张玉秀 王勇 周林 
国家自然科学基金面上基金项目(61772327);上海市自然科学基金项目(20ZR1455900)。
针对访问控制策略评估效率问题,提出基于有限状态自动机(finite state automaton,FSA)和重排序的访问控制策略评估方案。以四元组的形式表示策略,构建FSA策略模型检测策略异常,消除策略中的冲突规则以及冗余规则,实现策略评估的前期优化...
关键词：访问控制 策略评估 有限状态自动机 冲突检测 冗余检测 属性完整性验证 重排序 
基于堆栈回溯的异常处理被引量：7
《计算机工程与设计》2014年第12期4176-4180,共5页朱剑锋 缪万胜 康介祥 
总装武器装备预研基金项目(9140C470102110C4702)
针对异常发生时无法及时有效利用异常发生的上下文信息的问题,在堆栈回溯获得上下文信息的基础上,提出一种能够记录异常信息便于线下分析,同时能够基于预设规则库支持线上对系统应用进行重构的异常处理方法。对PowerPC构架下的堆栈结构...
关键词：VxWorks应用 异常处理 上下文 有限状态自动机 函数调用链 异常日志 规则库 
Web遗留系统服务化包装方法的研究被引量：3
《计算机工程与设计》2014年第2期509-514,共6页李爱萍 王正华 段利国 
山西省科技攻关基金项目(工业)(20120321030);太原理工大学2012年校青年基金项目(2012L067)
对Web遗留系统进行服务化包装,是实现遗留系统服务化迁移的关键。传统的白盒服务包装需要侵入原有遗留系统修改代码,运行风险增强,针对此问题设计了一种基于有穷状态自动机形式描述的黑盒包装方案。给出了包装方案的参考模型和模型内包...
关键词：Web遗留系统 有穷状态自动机 黑盒包装 WEB服务 移植过程 
基于有界限模型检验的服务建模与自动组合被引量：1
《计算机工程与设计》2011年第12期4079-4082,共4页李艳 刘金江 
河南省科技厅科技攻关基金项目(102102210483;102102210465);河南省重大科技攻关基金项目(092102110274)
针对面向服务架构(SOA)体系的Web服务数量快速增长现状,为实现大规模服务场景下高效自动组合Web服务来满足用户复杂需求问题,提出一种基于有界模型检验的Web服务组合方法。其中,Web服务被建模为有限状态自动机,众多Web服务构成服务社区,...
关键词：有界模型检验 WEB服务组合 线性时态逻辑 服务社区 有限状态自动机 
基于程序合法作用域的入侵检测系统的研究
《计算机工程与设计》2010年第13期2966-2968,2975,共4页张之帆 王以刚 
通过分析应用程序在执行时的系统调用序列,提出了一种新的基于程序合法作用域的入侵检测方法。合法作用域的建立以程序的系统调用信息为依据,并采用了有限状态自动机对其进行建模,每一个合法作用域由一个状态来表示,它包含程序运行时的...
关键词：入侵检测 合法作用域 有限状态自动机 有效用户标示 有效组标示 
基于Web应用的SCXML到自动机的转换
《计算机工程与设计》2010年第20期4385-4388,4433,共5页张东方 沈云付 
国家863高技术研究发展计划基金项目(2007AA01Z144)
为了对Web应用进行验证,保证Web应用的可靠性和质量,提出了将Web应用的SCXML描述提取出通用状态机的算法。在对Web服务应用的语言SCXML的各构成要素进行深入分析的基础上,该算法实现了将SCXML描述转化为相应的自动机,为对Web应用进行模...
关键词：WEB应用 状态图扩展标记语言 有限状态自动机 模型检查 形式验证 
高速邮件监控审计研究被引量：5
《计算机工程与设计》2010年第6期1195-1197,1201,共4页吴刚 王旭仁 张信杰 
北京市科技发展面上基金项目(KM200710028017);北京市科技新星基金项目(20070B61)
为了满足企业级高速网络中邮件监控需求,提出了基于内存映射和libnids改进框架的邮件监控审计方案。该方案首先通过改进libnids库内核、用户级缓存和内存映射文件技术减小I/O开销,高效捕获存、储原始邮件数据,然后对邮件协议进行了深入...
关键词：邮件审计 libnids库 多线程 有限状态自动机 模式匹配 
基于有限状态自动机的Web服务组合(英文)被引量：1
《计算机工程与设计》2007年第23期5624-5627,5725,共5页闫新庆 李文锋 陈定方 
国家自然科学基金项目(60475031);国家863高技术研究发展计划基金项目(2006AA04A110)~~
Web服务是Web上的特殊软件资源,可以被应用系统发现和调用。如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题。通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示...
关键词：WEB服务 服务组合 有限状态自动机 确定性命题逻辑 可组合性 
基于有限状态自动机的漏洞检测模型被引量：3
《计算机工程与设计》2007年第8期1804-1806,共3页胡定文 朱俊虎 吴灏 
漏洞是软件安全的一个严重威胁,如何检测软件中存在的漏洞对提高其安全性具有重要的意义。经过分析缓冲区溢出漏洞产生的原因,得出了其形成的3个必要条件,并根据产生原因的不同,针对函数调用出错和循环拷贝出错而导致的两类缓冲区溢出漏...
关键词：漏洞检测 缓冲区溢出 有限状态自动机 数据拷贝 区间 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部