中国科学院研究生院院长基金(Y15102HN00)

作品数：3被引量：6H指数：1
导出分析报告
相关作者：苏桂平范玉涛李斌臣更多>>
相关机构：中国科学院研究生院华北科技学院更多>>
相关期刊：《计算机应用与软件》《计算机工程与应用》《微电子学与计算机》更多>>
相关主题：CPN安全协议形式化分析方法形式化分析性能分析更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种含时间因素的安全协议形式化分析方法被引量：1
《计算机应用与软件》2013年第1期315-318,共4页范玉涛 苏桂平 
中国科学院研究生院院长基金项目(Y15102HN00)
提出一种针对包含时间因素的安全协议的有色Petri(CPN)形式化分析方法,利用CPN Tools中的内置全局自动时钟标记,时间相关性质可通过仿真和生成状态图进行分析验证。基于这一方法,对著名的NS协议(简化版)建模,来分析验证与时间相关的安...
关键词：形式化分析CPN 时间因素 安全协议 
一种适于带时间戳安全协议的形式化分析方法被引量：1
《计算机工程与应用》2012年第36期116-120,共5页范玉涛 苏桂平 
中国科学院研究生院院长基金(No.Y15102HN00)
提出了一种适用于带有时间戳的安全协议的有色Petr(iCPN)形式化分析方法,利用一个非自动时钟来描述协议中涉及的时间因素。对著名的WMF协议建模,利用CPN Tools,采用CPNML语言编写查询函数验证协议的新鲜性,从而发现协议的漏洞。应用分...
关键词：形式化分析 有色Petri网(CPN) 时间戳 安全协议 
基于排队网络模型的数据库系统瓶颈问题研究被引量：4
《微电子学与计算机》2012年第6期100-103,共4页李斌臣 苏桂平 
中国科学院研究生院院长基金资助(Y15102HN00)
针对数据库系统中所遇到的性能瓶颈问题,以排队论理论为基础,建立基干数据库系统的排队网络模型,提出排队系统中的性能指标及其关系,对数据库系统的性能进行评价分析,为排查解除系统瓶颈、提升系统性能,提供一种有效的分析方法。
关键词：数据库系统 排队论 性能分析 系统瓶颈 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部