协议入侵者攻击能力的统一建模

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

协议入侵者攻击能力的统一建模

文章导航 > 电子科技大学学报 > 2007 > 36(3): 617-620

张靖. 协议入侵者攻击能力的统一建模[J]. 电子科技大学学报, 2007, 36(3): 617-620.

引用本文:

张靖. 协议入侵者攻击能力的统一建模[J]. 电子科技大学学报, 2007, 36(3): 617-620.

ZHANG Jing. Unified Modeling of the Intruder's Attack Ability Based on the Protocols[J]. Journal of University of Electronic Science and Technology of China, 2007, 36(3): 617-620.

Citation:

ZHANG Jing. Unified Modeling of the Intruder's Attack Ability Based on the Protocols[J]. Journal of University of Electronic Science and Technology of China, 2007, 36(3): 617-620.

协议入侵者攻击能力的统一建模

张靖

1.
攀枝花学院网络中心四川攀枝花 617000

作者简介:
张靖(1972-),男,硕士,副教授,主要从事软件工程和计算机网络方面的研究.

中图分类号: TP309

Unified Modeling of the Intruder's Attack Ability Based on the Protocols

ZHANG Jing

1.
Campus Network Center,Panzhihu University Panzhihua Sichuan 617000

摘要: 基于协议预言机模型是一个开放的模型,能为准确地描述入侵者的攻击能力提供统一的框架。该文提出了一种协议预言机模型,使用协议预言机来形式化地描述入侵者对协议的攻击能力,通过协议生成树,该模型可以跟踪入侵者攻击协议的轨迹。
- 形式化分析 /
- 入侵者攻击能力 /
- 协议预言机 /
- 协议生成树
Abstract: Protocols oracle model is an open model,which provides a unified framework to describe the intruder's attack ability precisely.Therefore,This article presents a protocols oracle model which makes a formalized description of the intruder's attack ability on the protocols.This model can also follow the tracks of the intruder's attack on the protocols through the protocols spanning tree.
- formal analysis /
- intruder's attack ability /
- protocols oracle /
- protocols spanning tree

[1]	周江平, 周媛媛, 周学军, 聂宁. 相位匹配量子密钥分发协议统计波动分析 . 电子科技大学学报, 2023, 52(2): 168-174. doi: 10.12178/1001-0548.2022096
[2]	林小蝶, 魏朝晖. 经典、量子及其混合场景下的经典关联生成协议 . 电子科技大学学报, 2023, 52(1): 2-7. doi: 10.12178/1001-0548.2022187
[3]	孙海泳, 杨霞, 雷航, 乔磊, 杨拯. 基于TrustZone的TEE设计与信息流形式化验证 . 电子科技大学学报, 2019, 48(2): 259-263. doi: 10.3969/j.issn.1001-0548.2019.02.016
[4]	曹永立, 杨茂林, 廖勇. 基于MPCP协议的任务最坏阻塞时间分析 . 电子科技大学学报, 2016, 45(6): 1002-1007. doi: 10.3969/j.issn.1001-0548.2016.06.022
[5]	陈大江, 秦臻, 秦志光, 王瑞锦. 基于虚拟信道的快速密钥生成协议的安全性分析 . 电子科技大学学报, 2015, 44(1): 112-116. doi: 10.3969/j.issn.1001-0548.2015.01.019
[6]	吴劲, 陈志慧. 基于Event-B的形式化建模关键技术研究 . 电子科技大学学报, 2014, 43(3): 405-408. doi: 10.3969/j.issn.1001-0548.2014.03.015
[7]	黄韬, 陈长胜. TTE时间同步协议关键算法研究和仿真分析 . 电子科技大学学报, 2014, 43(3): 437-442. doi: 10.3969/j.issn.1001-0548.2014.03.021
[8]	王瑞锦, 秦志光, 王佳昊. 无线传感器网络分簇路由协议分析 . 电子科技大学学报, 2013, 42(3): 400-405. doi: 10.3969/j.issn.1001-0548.2013.03.016
[9]	张兵, 马新新, 志光. 轻量级RFID双向认证协议设计与分析 . 电子科技大学学报, 2013, 42(3): 425-430. doi: 10.3969/j.issn.1001-0548.2013.03.021
[10]	高悦翔, 彭代渊, 闫丽丽. 认证邮件协议的安全性分析与改进 . 电子科技大学学报, 2013, 42(2): 300-305. doi: 10.3969/j.issn.1001-0548.2013.02.023
[11]	陈文宇, 向涛, 王晓斌, 桑楠, 孙世新. 实时可信服务的构件设计与形式化描述 . 电子科技大学学报, 2011, 40(1): 122-127. doi: 10.3969/j.issn.1001-0548.2011.01.023
[12]	闫丽丽, 彭代渊, 高悦翔. Ad hoc网络中认证路由协议的改进及其安全性分析 . 电子科技大学学报, 2011, 40(4): 577-581.
[13]	许春香, 罗淑丹. 关于S-3PAKE协议的漏洞分析 . 电子科技大学学报, 2009, 38(4): 583-587. doi: 10.3969/j.issn.1001-0548.2009.04.025
[14]	傅强, 刘晓东. 多媒体呈现流程的形式化描述及内容表示 . 电子科技大学学报, 2008, 37(5): 753-756.
[15]	陈光宇, 黄锡滋, 唐小我. 故障树模块化分析系统可靠性 . 电子科技大学学报, 2006, 35(6): 989-992.
[16]	熊万安, 佘堃, 龚耀寰. WTLS协议性能仿真 . 电子科技大学学报, 2005, 34(4): 489-492.
[17]	袁丁, 范平志. 电子证据与反拒认协议及形式化分析 . 电子科技大学学报, 2004, 33(5): 531-534.
[18]	余敬东, 张东. Ad-hoc MPLS协议体系及其性能分析 . 电子科技大学学报, 2003, 32(5): 564-568.
[19]	任江, 袁宏春. 对SSL协议及其安全性分析 . 电子科技大学学报, 1998, 27(4): 416-420.
[20]	胡明, 李乐民. 波分多址访问协议的性能分析 . 电子科技大学学报, 1998, 27(2): 113-117.

WeChat

点击查看大图

计量

文章访问数: 3390
HTML全文浏览量: 97
PDF下载量: 47
被引次数: 0

协议入侵者攻击能力的统一建模

张靖

1. 攀枝花学院网络中心四川攀枝花 617000

作者简介:
张靖(1972-),男,硕士,副教授,主要从事软件工程和计算机网络方面的研究.

收稿日期: 2006-10-09
刊出日期: 2007-06-15

中图分类号: TP309

关键词:

摘要: 基于协议预言机模型是一个开放的模型,能为准确地描述入侵者的攻击能力提供统一的框架。该文提出了一种协议预言机模型,使用协议预言机来形式化地描述入侵者对协议的攻击能力,通过协议生成树,该模型可以跟踪入侵者攻击协议的轨迹。

English Abstract

张靖. 协议入侵者攻击能力的统一建模[J]. 电子科技大学学报, 2007, 36(3): 617-620.

引用本文:

张靖. 协议入侵者攻击能力的统一建模[J]. 电子科技大学学报, 2007, 36(3): 617-620.

ZHANG Jing. Unified Modeling of the Intruder's Attack Ability Based on the Protocols[J]. Journal of University of Electronic Science and Technology of China, 2007, 36(3): 617-620.

Citation:

ZHANG Jing. Unified Modeling of the Intruder's Attack Ability Based on the Protocols[J]. Journal of University of Electronic Science and Technology of China, 2007, 36(3): 617-620.

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发