状态转换图

作品数：76被引量：182H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘贵云张继军吴哲辉董卫李炜更多>>
相关机构：广州大学东南大学山东农业大学山东科技大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江西省自然科学基金广东省科技计划工业攻关项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于策略的自动协商机制在分布委托授权中的应用
《计算机科学》2010年第3期102-105,共4页武小年 张润莲 马春波 周胜源 
现代通信国家重点实验室基金项目(9140C1101050706);广西信息与通讯技术重点实验室基金(10908)资助
网格系统采用委托授权有效地解决了分布状态下的授权问题,但其动态变化将打破委托授权模式下不同安全域间访问权限的全局一致性。为解决该问题,采用了一种基于策略的自动协商机制。为及时发现问题并在相关安全域间快速协商和恢复双方访...
关键词：委托授权 自动协商 策略 状态转换图 
下推自动机的状态转换图与下推自动机的化简被引量：10
《计算机科学》2006年第3期271-274,共4页张继军 吴哲辉 
参照有限状态自动机图形表示方式的思想方法,研究了标准下推自动机的图形表示——PAD 状态转换图,证明了下推自动机与标准下推自动机的等价性。给出了对标准下推自动机进行化简的原则,并给出了化简算法,实现了下推自动机的化简。
关键词：状态转换图 标准下推自动机 化简 行为等价 状态等价 
基于状态转换的Web程序测试方法研究被引量：4
《计算机科学》2005年第5期219-223,共5页毛澄映 卢炎生 
"十五"国防科技预研项目(41315.9.2)资助.
基于状态转换的测试方法是探测Web程序动态行为异常的有效途径。Web程序状态的变迁由链接序列和提交数据共同构成的导航场景决定。本文用活动页面导航图(APND)来描述页面间的链接转换行为,用状态变量的组合对象状态图(COSD)来刻画由提...
关键词：测试方法 Web 程序 状态变量 状态转换图 动态行为 行为模型 测试用例 自动生成 导航图 状态图 K叉树 数据 链接 页面 换行 对象 
基于状态转换图的入侵检测模型STGIDM被引量：1
《计算机科学》2003年第11期99-101,共3页姚立红 黄皓 谢立 
国家"863"高技术(NO:2001AA142010)经费资助
近年来,计算机系统的安全问题日益突出,相应的安全防范技术也成为了人们研究的热点.入侵检测技术作为一种重要的安全技术,从80年代中期就已经引起人们的注意[1],与其它安全技术相比(如身份认证、访问控制等),入侵检测技术具有鲜明的特点...
关键词：网络安全 状态转换图 入侵检测模型 STGIDM 系统调用序列 模式匹配 性能分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部