形式化分析方法

作品数：41被引量：79H指数：5
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：张倩颖关永施智平李黎明李晓娟更多>>
相关机构：西安电子科技大学首都师范大学苏州大学中国科学院软件研究所更多>>
相关期刊：《计算机光盘软件与应用》《计算机仿真》《科技资讯》《清华大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金中国科学院研究生院院长基金国家科技重大专项江苏省高校自然科学研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机应用技术x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于组合权重的工控系统安全形式化分析方法被引量：6
《计算机仿真》2022年第12期422-428,共7页顾兆军 李怀民 丁磊 隋翯 
国家自然科学基金资助项目(61601467)。
为了提高工业控制系统脆弱性评估结果的准确性,提出一种层次分析法和熵权法相结合的工业控制系统安全形式化分析方法。先构造了系统的攻击防御树模型,结合防御树叶节点特点,构造模糊一致性矩阵以确定安全属性权重,同时采用熵权法计算叶...
关键词：层次分析法 熵权法 组合权重 工业控制系统 攻击防御树 
无线网络安全协议的形式化分析方法
《计算机光盘软件与应用》2014年第17期293-293,295,共2页金磊 
传统的有线网络由于受到环境等条件的制约,在各方面都存在着亟需解决的问题,那么,发展可行的无线通信网络技术也就成为网络发展的必然趋势。本文对无线网络安全协议的形式化方法进行了全面的概述,分析了无线网络的安全威胁以及具体表现...
关键词：无线网络安全 形式化分析 安全协议 
一种颜色Petri网的电子商务协议分析方法被引量：1
《小型微型计算机系统》2013年第11期2594-2598,共5页王宝文 卢贝 司亚利 刘文远 
河北省重大技术创新项目(09213562Z)资助;河北省自然科学基金青年科学(G2011203195)资助
针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限性三个重要安全属性.针对时限性建立了表示主体是否成功接收消息的状态颜色集和主体自定义的时间颜色集,...
关键词：形式化分析方法 电子商务协议 颜色PETRI网 CPN TOOLS KZG协议 
一种含时间因素的安全协议形式化分析方法被引量：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) 时间戳 安全协议 
无线网络安全协议的形式化分析方法
《科技创新与应用》2012年第24期79-79,共1页曾伟 
随着无线网络应用的迅速发展,网络安全的问题也悄然的走了进来。采用形式化方法设计及分析无线环境下的安全协议得到快速的发展以及广泛的应用。本文针对无线网络安全协议的形式化进行了分析和探讨。
关键词：无线网络安全 形式化 安全分析 安全协议 
安全协议形式化分析方法的融合性研究
《西北师范大学学报（自然科学版）》2010年第5期40-44,共5页卜奎昊 
安徽省教育厅科研基金资助项目(KJ2007B239)
分析了BAN逻辑和串空间理论的特点与不足.为了弥补二者的不足,提出了一种融合两种理论的形式化分析方法.通过实例分析,证明该分析方法能够将BAN逻辑和串空间的优点互补综合,使安全协议的分析更可靠、稳定、高效.
关键词：安全协议 Helsinki协议 BAN逻辑 串空间 
基于扩展CS逻辑的非否认协议形式化分析方法
《计算机科学》2010年第5期49-52,76,共5页王鹃 刘珺 张焕国 
国家自然科学基金(60673071)资助
将基于知识逻辑的CS逻辑系统用于分析具有时限性的非否认协议,针对非否认协议的性质对CS逻辑进行了扩展,给出了描述和分析非否认性以及公平性的方法,并使用扩展后的逻辑对改进的ZG协议进行了分析。在分析过程中,发现了该协议存在对签名...
关键词：非否认协议 CS逻辑 时限性 非否认性 公平性 
基于串空间理论的kerberos协议的安全性分析
《电脑编程技巧与维护》2010年第4期110-110,113,共2页杨杰 
运用串空间这一前沿的安全协议形式化分析方法,对kerberos协议的安全性进行了分析,得出了协议满足认证性和机密性的结论,并给出了一种新的kerberos协议的形式化证明方法,扩展了串空间理论在实用协议分析方面的应用。
关键词：串空间理论 安全协议 形式化分析方法 
一种增强电子商务协议安全性的形式化分析方法
《计算机工程与科学》2009年第9期13-16,共4页杨捷 毋国庆 左保河 齐德昱 
国家自然科学基金资助项目(60873078);华南理工大学研究生重点课程建设项目(B07Y3080020);校精品课程(x2rj-Y1080150;Y1080160)
本文用半规则实体代表参与协议并为其利益驱动协议的实体,基于此设想给出一种在串空间模型中的形式化方法。引入Hash和Diffie-Hellman Exchange的案例,在模型中加入半规则串和半规则节点。最后,找到一种对因特网密钥交换(IKE)协议的攻击。
关键词：半规则实体 串空间 TLS IKE 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部