中国科学院研究生院院长基金(Y15102HN00)
- 作品数:3 被引量:6H指数:1
- 相关作者:苏桂平范玉涛李斌臣更多>>
- 相关机构:中国科学院研究生院华北科技学院更多>>
- 发文基金:中国科学院研究生院院长基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种适于带时间戳安全协议的形式化分析方法被引量:1
- 2012年
- 提出了一种适用于带有时间戳的安全协议的有色Petr(iCPN)形式化分析方法,利用一个非自动时钟来描述协议中涉及的时间因素。对著名的WMF协议建模,利用CPN Tools,采用CPNML语言编写查询函数验证协议的新鲜性,从而发现协议的漏洞。应用分析结果表明该方法有效,且操作简单容易理解。
- 范玉涛苏桂平
- 关键词:形式化分析时间戳安全协议
- 基于排队网络模型的数据库系统瓶颈问题研究被引量:4
- 2012年
- 针对数据库系统中所遇到的性能瓶颈问题,以排队论理论为基础,建立基干数据库系统的排队网络模型,提出排队系统中的性能指标及其关系,对数据库系统的性能进行评价分析,为排查解除系统瓶颈、提升系统性能,提供一种有效的分析方法。
- 李斌臣苏桂平
- 关键词:数据库系统排队论性能分析
- 一种含时间因素的安全协议形式化分析方法被引量:1
- 2013年
- 提出一种针对包含时间因素的安全协议的有色Petri(CPN)形式化分析方法,利用CPN Tools中的内置全局自动时钟标记,时间相关性质可通过仿真和生成状态图进行分析验证。基于这一方法,对著名的NS协议(简化版)建模,来分析验证与时间相关的安全属性。然后利用CPN Tools,采用CPN ML语言编写查询函数验证协议的AUT性质,从而发现协议的漏洞。应用分析结果表明方法有效,且操作简单容易理解。
- 范玉涛苏桂平
- 关键词:安全协议