计算机操作安全协议,安全协议操作语义模型研究及应用-计算机软件与理论专业论文.docx...

安全协议操作语义模型研究及应用-计算机软件与理论专业论文

摘 要

桂林电子科技大学学位论文

桂林电子科技大学学位论文

摘要

安全协议的操作语义模型是一种分析安全协议的新模型,它结合了以往多种协议 分析模型的优点,能分析多个协议及多个主体并行运行的协议系统的安全性,具有严 谨、简洁、高效等特点。

本文对安全协议的操作语义模型进行了深入的研究,并基于该语义模型对目前安 全协议形式化分析领域中两个热点问题 "组合协议"和"多方协议"的安全性进行研 究。取得的主要成果如下

(1)对安全协议的操作语义模型进行研究,建立了基于此语义模型的协议分析杠 架。在该杠架中分析了协议参与主体,通信模型,威胁模型,密码学原语以及安全属性 等协议组成要素,并以NS为例说明利用操作语义模型分析协议的建模过程。

(2)对基于操作语义模型自动化验证工具Scyther进行研究。分析了Scyther的内 部运行机制,给出了利用Scyther分析安全协议一般步骤,并以移动通信系统的密钥分 配协议(TMN)为例,利用Scyther对其安全性进行验证,结果表明该协议存在机密性与 认证性缺陷,给出了针对该缺陷的攻击路径并分析了其产生原因。最后,以NS协议为 例,从时间和空间两个方面比较了Scyther和传统的模型检验器SMV的性能,结果表 明Scyther具有更优越的时空性能。

(3)利用安全协议的操作语义模型对组合协议的安全性进行研究。给出了组合协 议系统及组合协议攻击的形式化的描述,介绍了利用操作语义模型分析组合协议的安 全性的一般步骤。基于此,分别对含Yahalom和Denning-Sacco两个协议以及含Yahaloo- BAN,Yahalom-Lowe和Denning-Sacco 个协议的组合协议系统的安全性进行分析,结 果表明这两个组合协议系统均存在组合协议攻击,给出了攻击路径并分析了其产生的 原因。

(4)利用安全协议的操作语义模型对多方协议的安全性进行研究。对 方认证协 议BNV的安全性进行分析,结果表明该协议存在认证性缺陷。针对该缺陷,提出了在 协议的消息中添加标识协议主体的消息项的改进,分析结果表明改进的协议不存在原 协议的缺陷。最后,基于改进后的BNV协议提出了一个用于多个主体间相互认证的多 方认证协议。

关键词: 操作语义模型:组合协议:多方协议:形式化方法.

万方数据

I –

– PAGE IV –

万方数据

Abstract

The operational semantics model of security protocol is a new approach for an- alyzing and verifying the security of protocol .Having fully absorbed many merits of different models,it becomes a strict,concise ,high effective method and can straight- forwardly analyze the parallel execution of multi protocols system and multi agents system.

The aim of this task is to analyze the operational semantics model of security protocol and to verify the security of multi protocols system and multi agents system by the operational semantics model. The main results obtained are as follows:

The operational semantics model of security protocol is studied and a new frame based on this model is constructed, in which the formal definition of agent

model,communication model,cryptographic primitives and security requirements are

studied.Finally,as an example ,the operational semantics model of NS protocol is constructed.

Scyther ,which is an automatic analyzer of security protocol based on the oper

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/564330.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

python怎么开发工具_为程序员和新手准备的8大Python开发工具

Python 是一种开源编程语言,用于 Web 编程、数据科学、人工智能和许多科学应用。学习 Python 使程序员能够专注于解决问题,而不是专注于语法,其丰富的库赋予它完成伟大任务所需的力量。1) IDLE安装 Python 时,默认情况下也会安装 …

MySQL查看表中的约束

MySQL 中可以使用 SHOW CREATE TABLE 语句来查看表中的约束。 查看数据表中的约束语法格式如下&#xff1a; SHOW CREATE TABLE <数据表名>;创建数据表 tb_emp8 并指定 id 为主键约束&#xff0c;name 为唯一约束&#xff0c;deptId 为非空约束和外键约束&#xff0c;然…

文件后缀_电脑文件名的后缀即扩展名的显示和隐藏方法

前两天碰到一个同事问我&#xff0c;他的文件名后面的格式不显示了&#xff0c;就是扩展名&#xff0c;比如Word文档名称后缀的doc或者docx和Excel表格名称后缀的xls或者xlsx没有了&#xff0c;还有一些其他文件的后缀也不显示了。我三两下就给他改好了。那么今天就来给大家讲一…

u盘无法格式化不在计算机中,在电脑中,为什么U盘不能格式化?

我们有时候会碰到在电脑中U盘不能格式化的问题&#xff0c;这该怎么办呢&#xff1f;接下来小编就从解决方法来为大家介绍下为什么U盘不能格式化&#xff1f;1. 首先在桌面左下角点击“开始菜单”-->点击“运行..”&#xff0c;然后在运行框中输入&#xff1a;“regedit.exe…

四种依恋类型_依恋关系的研究

说到依恋关系&#xff0c;大家都会想到安全型、焦虑型、回避型&#xff0c;以及这些类型会影响到成年后的人际关系。本文具体罗列一下心理学家研究依恋关系的都做出了怎样的努力。第一&#xff1a;哈罗做的恒河猴验。实验情境&#xff1a;把小猴放在一个笼子里&#xff0c;这个…

MySQL 查询数据表

MySQL 表单查询是指从一张表的数据中查询所需的数据&#xff0c;主要有查询所有字段、查询指定字段、查询指定记录、查询空值、多条件的查询、对查询结果进行排序等。 基本语法 MySQL 从数据表中查询数据的基本语句为 SELECT 语句&#xff0c;基本格式如下&#xff1a; SELE…

内网通看不到其他人_小学生在新版本里用“吃鸡内挂”,巡查员:封不了,手机自带的...

欢迎诸位小伙伴们来到本期天哥开讲的《和平精英》“精英那点事儿”~接下来呢&#xff0c;咱们聊聊玩家用“吃鸡内挂”打沙漠地图、出生岛的ID为何会消失不见以及未更新的新枪提前出现等有趣的玩家游戏经历与发现~得&#xff0c;废话不多说了&#xff0c;还是各位小伙伴们熟悉的…

采用我国国产处理器的超级计算机是,“中国芯”超级电脑合肥诞生 首次采用国产CPU芯片...

首次采用国产CPU芯片&#xff0c;每秒计算一万亿次的“超级”计算机昨天在合肥通过专家鉴定。记者了解到&#xff0c;这台基于龙芯2号的国产万亿次高性能计算机系统KD-50-I&#xff0c;由中国科学技术大学研制成功&#xff0c;使用300多颗64位龙芯2F处理器&#xff0c;峰值性能…

MySQL 过滤重复数据

MySQL SELECT 语句查询数据的时候返回的是所有匹配的行。 查询 tb_students_info 表中所有 age 的执行结果如下所示。 mysql> SELECT age FROM tb_students_info; ------ | age | ------ | 25 | | 23 | | 23 | | 22 | | 24 | | 21 | | 22 | | 23 | | 2…

7个和尚_经典故事:8个和尚与1串佛珠的故事

比说清楚更重要的是&#xff1a;能承担&#xff0c;能行动&#xff0c;能化解&#xff0c;能扭转&#xff0c;能改变。能想自己&#xff0c;更能想别人。这不仅是一种境界&#xff0c;更是一种智慧。 8个和尚与1串佛珠的故事 不是所有的事情&#xff0c;你都需要说清楚。 有个寺…

计算机一级字幕设置,如何开启电脑哔哩哔哩中的CC字幕功能

如何开启电脑哔哩哔哩中的CC字幕功能腾讯视频/爱奇艺/优酷/外卖 充值4折起当我们在使用电脑的时候&#xff0c;可以通过哔哩哔哩来观看视频&#xff0c;那么如何将视频的字幕设置为CC字幕呢&#xff1f;接下来就由小编来告诉大家。具体如下&#xff1a;1. 第一步&#xff0c;打…

MySQL 设置别名

使用 MySQL 查询时&#xff0c;当表名很长或者执行一些特殊查询的时候&#xff0c;为了方便操作或者需要多次使用相同的表时&#xff0c;可以为表指定别名&#xff0c;用这个别名代替表原来的名称。 为表取别名的基本语法格式为&#xff1a; <表名> [AS] <别名>其…

问的书写规则是什么意思_书写规则是什么意思

满意答案sky7012018.03.15采纳率&#xff1a;58% 等级&#xff1a;6已帮助&#xff1a;8人汉字书写笔顺规则一、一般规则&#xff1a;1、先撇后捺 &#xff1a; 人 八 入2、先横后竖 &#xff1a; 十 王 干3、从上到下&#xff1a; 三 竟 音4、从左到右&#xff1a; 理 利 礼…

计算机大赛横幅标语有趣的,有趣的横幅标语

作为一个先如今社会的特色产品,横幅从来就是不一般的&#xff01;从最初的宣传计划生育,到现在各种广告、表示、警示等,横幅的作用也越来越广&#xff01;从最开始的强上到之后的市内、户外,横幅的摆放方式也是层出不穷&#xff01;悬挂的,粘贴的,只要能看到的地方,必然会有横幅…

MySQL 限制查询结果的记录数

使用 MySQL SELECT 语句时往往返回的是所有匹配的行&#xff0c;有些时候我们仅需要返回第一行或者前几行&#xff0c;这时候就需要用到 MySQL LIMT 子句。 基本的语法格式如下&#xff1a; <LIMIT> [<位置偏移量>,] <行数>LIMIT 接受一个或两个数字参数。…

telephone 为空 唯一索引_记一次线上唯一索引失效没有起效的场景

背景描述&#xff1a;我们系统A做远程在线接口提供给B系统调用&#xff0c;每次的请求参数中都带有幂等单号用来做幂等校验&#xff0c;幂等单号对应的字段是不可空且唯一的。由于对应的业务表线上已有数据&#xff0c;这个幂等字段数据新加的字段&#xff0c;所以要做初始化数…

计算机环境安全服务未启动,windows10系统卡在“准备安全选项”如何解决

最近有windows10系统用户到本站反映说遇到这样一个问题&#xff0c;就是计算机突然卡在“准备安全选项”屏幕上了&#xff0c;导致无法进行任何操作&#xff0c;该怎么办呢&#xff0c;下面小编就给大家讲解一下windows10系统卡在“准备安全选项”的具体解决方法。现在&#xf…

MySQL 对查询结果进行排序

MySQL SELECT 语句&#xff0c;ORDER BY 子句主要用来将结果集中的数据按照一定的顺序进行排序。 其语法格式为&#xff1a; ORDER BY {<列名> | <表达式> | <位置>} [ASC|DESC]语法说明如下。 1 列名 指定用于排序的列。可以指定多个列&#xff0c;列名之…

matlab实现双边滤波_【他山之石】pytorch 实现双边滤波

“他山之石&#xff0c;可以攻玉”&#xff0c;站在巨人的肩膀才能看得更高&#xff0c;走得更远。在科研的道路上&#xff0c;更需借助东风才能更快前行。为此&#xff0c;我们特别搜集整理了一些实用的代码链接&#xff0c;数据集&#xff0c;软件&#xff0c;编程技巧等&…

新网 云服务器,云服务器的使用教程

现在购买云服务器的人越来越多&#xff0c;大家只需要在众多的云服务器品牌中找到适合自己的云服务器。并不是价格越贵就越适合自己&#xff0c;而且初学者购买贵的云服务器并不划算&#xff0c;接下来就由小编为大家介绍关于云服务器的使用教程&#xff0c;希望能给大家带来帮…