基于语言等价关系化简Buchi自动机的算法研究

来源 :第二届信息安全漏洞分析与风险评估大会 | 被引量 : 0次 | 上传用户:wenmin673594913
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了缓解模型检测中的状态空间爆炸问题,使其在安全领域获得更大应用范围,本文基于Bchi自动机语言等价关系定义了语言等价类概念,并提出了化简自动机状态和迁移的有效算法。该算法利用了模拟等价关系来计算语言等价关系,并将自动机的商和语言等价类相结合,从而获得比现有算法更好的化简效果。
其他文献
菲尔普斯出生于美国马里兰州东北海岸一个蓝领聚居的小镇,在那里,人们崇尚橄榄球而不是游泳。菲尔普斯是家里的第三个、也是最小的一个孩子,小时候常和两个姐姐希拉里、惠特妮在北巴尔的摩水上俱乐部度过。    游泳助他战胜了多动症    迈克尔·菲尔普斯的童年生活并不美满,父母很早就离婚了,父亲弗雷德是马里兰州一位退休警官,也曾是一名运动员,母亲黛比则是一位学校老师,同时兼任巴尔的摩郡教育系统的行政官员。菲
为了研究3G(第三代移动通信技术)安全协议的发展现状,该文以3G实体认证协议为重点研究内容,广泛地分析了3GPP(第三代合作伙伴计划)提出的一系列相关安全协议及技术规范,给出
测试代码的生成是动态XSS漏洞检测中的关键技术。本文讨论了测试代码构造中的合法性过滤规避和测试代码的强制执行等核心问题,提出了针对这些问题的解决方法,并在此基础上给
提到奢侈品,第一个联想到的意象是什么?不少人的答案会是Lv-路易威登(Louis Vuitton).能够把自己的品牌做成奢侈品的代名词,LV从法阁宫廷御用箱包的制作者,到工业革命时期被
rn围标、串标的形式多种多样,有投标人与招标人串通(串标)、有投标人相互串通(围标)、有投标人与招标代理机构串通(串标)。围标、串标危害是不可忽视的,它使招标制度流于形式
寻找虚拟社区中的核心成员具有相当重要的应用价值。作者认为在虚拟社区中,信息扩散过程中的影响力是核心成员的关键特征;据此作者提出了一个基于马尔可夫随机场理论计算成员
针对软件源代码进行软件同源性鉴别的技术,主要包括基于文本的相似性鉴别技术,基于抽象语法树的检测以及对程序编程风格的分析技术。然而这三种技术都存在一定的缺陷,因此本
赵忠祥无疑是春晚的见证者和亲历者。从1984年开始,赵忠祥连续主持了十五届春晚。一个人连续十五年主持春晚,想让人忘记也难,何况赵忠祥经历的是春晚的初创期和高峰期,是人们
为了进一步了解蚌埠铁路分局辖区的传染病发生和流行特征 ,为制定传染病防治规划提供科学依据 ,1999年 12月对辖区四家医院 1999年 1~ 10月的法定传染病报告质量进行调查 ,现
误报率较高是现有的漏洞静态检测方法中存在的主要问题之一,其严重影响了方法的实用性。本文通过对实际研究实验中误报产生的原因进行分析,并针对其提出了一种通过对不可行路