论文部分内容阅读
本文以SPIN为例，介绍模型检测的机制与原理。本文描述了模型检测不可避免的问题——状态空间爆炸，并分析了偏序归约、启发式方法、压缩技术和对违反活性属性检测的改进算法等解决方法，最后讨论了模型检测当前所面临的一些主要问题，并指出了今后模型检测的主要发展方向。
与SPIN相关的模型检测研究
【摘 要】
：
本文以SPIN为例，介绍模型检测的机制与原理。本文描述了模型检测不可避免的问题——状态空间爆炸，并分析了偏序归约、启发式方法、压缩技术和对违反活性属性检测的改进算法等解
【机 构】
：
南京大学计算机软件新技术国家重点实验室，南京，210093
【出 处】
：
第六届中国信息和通信安全学术会议(CCICS'2009)
【发表日期】
：
2009年期
其他文献
金融产品创新过程中各项新兴金融产品的诞生和应用,尤其是对金融衍生产品的良好应用对提升当前金融体系发展过程中各项金融交易的迂回度、提升金融产品交易过程中资源配置的
企业对精益的追求是其不断进行自我完善的过程,而在实际生产过程中传统会计和成本管理系统的弊端逐渐凸显.通过深入分析精益会计体系,尝试从不同方面开展成本管理活动,避免资
随着互联网信息技术的不断发展,人们已经迎来了大数据时代,在大数据时代的背景下,对于管理会计而言既带来了前所未有的发展机遇,也带来了一定的挑战,因此为了全面提高管理会
近年来,小企业贷款困难成为我国业界亟待解决的课题,也是全球各个国家普遍存在的问题,据调查,我国小企业发展到一定时期的主要融资渠道是银行贷款.特别是国有四大银行的小企
随着各种图像编辑软件的广泛应用，数字图像被篡改的现象越来越普遍，其真伪已经很难用肉眼辨别。近年来，针对数字篡改现象，提出了各种鉴定方法。目前国内外讨论较多的是针对复制遮
安全访问控制是VPN的一个重要特征，目的是认证用户登录系统及控制用户访问系统资源。现在比较常用的VPN访问控制方法不仅易遭受离线字典攻击，而且实际应用中VPN客户端依赖于固
会议
如今，程序的安全漏洞层出不穷，受到的安全攻击也日益严重。传统的修补安全漏洞的方法是通过手工的方式进行漏洞的定位，然后再进行漏洞的修补。这种人工参与的方式的不足，不仅在于
会议
本系统在煤矿井下架设分层的基于IP技术的无线网络，该系统具有简单、成本低和可扩展性强等特点。同时借鉴SIP协议，设计了一个语音通信信令协议，满足无线通信系统的要求。
本文提出了一个抗攻击的增强安全路由协议ESRP，使得在一个网络中，路由器A接收到一条来自相邻路由器B的消息时，它能判别该消息是否确实是由B所发送的，同时能判别该消息是否被攻击
在现阶段,财务管理在高校的日常工作当中占据重要地位,并逐渐能够对其自身的发展水平产生深远影响.而从实际的研究过程当中可以得出,有关高校财务管理工作当中还存在着较多的