切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一种安全协议的形式化分析方法
一种安全协议的形式化分析方法
来源 :计算机工程 | 被引量 : 0次 | 上传用户:leeo_1987
【摘 要】
:
对快速、高效的形式化分析安全协议进行研究,提出“信任域”的概念。采用与图形化相结合的分析方法,使得协议流程的推导过程清晰、直观。该方法直接分析协议参与主体的信任域,简
【作 者】
:
王昕
袁超伟
【机 构】
:
北京邮电大学信息与通信工程学院
【出 处】
:
计算机工程
【发表日期】
:
2010年7期
【关键词】
:
形式化分析
安全协议
BAN逻辑
NSSK协议
formal analysis security protocol BAN logic NSSK protoco
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对快速、高效的形式化分析安全协议进行研究,提出“信任域”的概念。采用与图形化相结合的分析方法,使得协议流程的推导过程清晰、直观。该方法直接分析协议参与主体的信任域,简化分析过程和步骤。实验结果表明,与传统方法相比,该方法更快速、直观,并能为分析协议的冗余性提供具体方法和依据。
其他文献
小学语文“作文先导式”教学模式探索
【摘要】在我国经济快速发展的状况下,各行各业呈现出一片繁荣的景象,这样的发展状况使得我国重视物质文明的同时也注重精神文明。因此,在教育领域提出了一种“作文先导式”的教学模式。以此为契机,本文着重就“作文先导式”的教学模式提出了几点应用方式和方法。此次研究的主要目的是为了更好的提升小学生的语文水平,进而为现今小学教育的创新发展献力。 【关键词】教学模式 小学语文 作文先导式 【中图分类号】G62
期刊
教学模式
小学语文
作文先导式
例谈“诵读”“感悟”“熏陶”在古诗教学中的作用
期刊
古诗教学
“感悟”
引导学生
例谈
切入点
小朋友
《江上渔者》
劳动人民
课堂教学结构
《望庐山瀑布》
培养班干部的几点做法和体会
培养班干部的几点做法和体会姜瑞莲担任多年班主任工作的老师都有一个共同的体会,要带好一个班级必须培养一支品学兼优,作风过硬的班干部队伍。班主任只有充分调动和发挥他们的
期刊
班干部队伍
培养班干部
班主任
几点做法
班级工作
做法和体会
优良作风
班主任工作
工作能力
品行端正
道路网络中的连续最近邻查询
为了减少连续最近邻查询中计算K个最近邻的次数和减小算法需要的存储空间,提出一种道路网络中求连续最近邻的方法。给出分点的计算方法及连续最近邻查询算法,对算法的正确性
期刊
道路网络
连续最近邻
分点
查询算法
road network Continuous Nearest Neighbor(CNN) split points qu
一种软硬件结合的防缓冲区溢出攻击技术
针对缓冲区溢出攻击,提出一种软硬件相结合的预防技术。介绍缓冲区溢出攻击,在高速缓存和主内存之间增加基于FPGA的硬件模块,该模块通过保护函数返回的地址来防范缓冲区溢出
期刊
缓冲区溢出攻击
地址返回
微机结构
嵌入式设计
buffer overflow attackaddress returnmicrocomputer struct
浅谈初中计算机教学如何激发学生的兴趣
【摘 要】在信息技术发达的时代,计算机教育的发展十分迅速,包括计算机学科的教学任务以及教学目标,都在伴随着时代不停地改变。虽然计算机技术在日常生活中的应用繁华多样,但是计算机的基础知识的学习相对来说变化较少,仍然是枯燥的,所以学生对于计算机学科知识的学习兴趣相对较低。关于初中计算机教学课堂中提高学生的学习兴趣,本文将进行分析并提出解决措施。 【关键词】计算机教学;激发兴趣;措施 【中图分类号】
期刊
计算机教学
激发兴趣
措施
创业者必须具有的素质
在全球化的大潮中,“广东名牌”曾给人留下“廉颇老矣”的印象,但越来越多的迹象表明,广东品牌军团在全囤乃至全球市场中不断进击,在国际化征程中实现弯道超车。面向世界,开放、交
报纸
5种外来入侵植物的茎叶提取物对月季长管蚜的触杀效果实验
采用浸提法,用95%乙醇为溶剂得到紫茎泽兰、薇甘菊、三叶鬼针草、肿柄菊、酢浆草5种外来入侵植物的茎叶提取物。将植物提取物稀释成1、5、10倍液,在室内用微量点滴法,测定其于24h
期刊
月季长管蚜
外来入侵植物
触杀
微量点滴法
植物提取物
基于斥力平衡SOM的可信故障诊断
自组织映射(SOM)神经网络存在训练结果不稳定、识别率低的问题。为此,提出一种斥力平衡SOM神经网络方法(RESOM)。该方法使用斥力原理,根据SOM模式区域在斥力场中迁移到的斥力平衡
期刊
自组织映射
斥力平衡
可信故障诊断
聚类迁移
神经网络
Self-Organizing Mapping(SOM) repulsive equilibrium t
初中英语词汇教学初探
【摘要】词汇是英语学习的基础,掌握丰富的词汇量,对于学生的英语水平的提升起着重要的作用。本文主要针对初中英语词汇教学展开讨论,首先从初中英语词汇教学中存在的问题入手,结合掌握丰富的词汇量对于学生的意义进行分析,最终总结出初中英语词汇教学的主要方法。 【关键词】初中英语 词汇教学 【中图分类号】G633.41 【文献标识码】A 【文章编号】2095-3089(2018)06-0179-02 词
期刊
初中英语
词汇教学
与本文相关的学术论文