切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
密码协议的形式化分析与设计原则
密码协议的形式化分析与设计原则
来源 :南京邮电学院学报(自然科学版) | 被引量 : 0次 | 上传用户:andyzt509
【摘 要】
:
介绍了密码协议的形式化分析方法和设计原则,着重介绍了BAN逻辑及其发展以及一些重要的协议设计原则,并提出了作者的一些观点.
【作 者】
:
徐晓东
岳殿武
【机 构】
:
南京邮电学院通信工程系
【出 处】
:
南京邮电学院学报(自然科学版)
【发表日期】
:
2001年3期
【关键词】
:
密码协议
形式化分析
保密通信
BAN logic
Cryptographic protocol analysis
Cryptographic protocol
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍了密码协议的形式化分析方法和设计原则,着重介绍了BAN逻辑及其发展以及一些重要的协议设计原则,并提出了作者的一些观点.
其他文献
充分利用伐区剩余物进行木片生产是提高经济效益的有效途径
随着我国“天保”工程的实施,人造板需求量的大幅度增加,使生产人造板的原料木片市场显得非常紧俏。本文从木片生产的内外部条件和木片生产效益的有效途径两方面阐述了如何开拓
期刊
伐区剩余物
木片生产
经济效益
有效途径
remainder in cutting area
spill production
economic benef
江西对外开放的进程与格局分析
自大开放主战略实施以来,江西对外开放程度有了明显提高,对外开放局面呈现一些明显特征,但是也面临着发展水平不够、区域差异大等问题。对此,需要完善促进对外开放的长效机制,明确
期刊
对外开放
进程
空间格局
opening-up
course
spatial pattem
发河大桥改造加固的成功作法
发河大桥是一座建于1964年的森铁钢板梁桥,在林区通村路建设中属必须重建或改造项目,本文论述了发河大桥改造加固的设计要点、加固方法、施工过程、对林区桥梁的改造加固的经验
期刊
发河大桥
改造加固
加宽
成功
加固效果
Fahe bridge
rebuilding and reinforcement
widen
success
论大兴安岭多年冻土区漠河县救灾工程中的基础浅埋
作者通过对大兴安岭多年冻土区进行的实际地质勘察,阐明了在多年冻土区建筑工程中基础浅埋的依据、方法、效果及其范围。此法在多年冻土地区具有一定的推广价值。
期刊
冻土区
工程
基础
浅埋
一种新型光分插复用器及其应用
提出并分析了一种基于光纤光栅的新型光分插复用器(OADM).与基于光纤光栅的普通型OADM相比,具有更小的同频串扰,下载端口的同频串扰小于-80 dB,上载端口的同频串扰小于-50 dB
期刊
光分插复用器
波分复用
光纤光栅
光纤通信
Wavelength division multiplexing
Fiber Grating
Optical a
利用小型凝汽机循环水供热的几个问题
一、凝汽机组低真空运行循环水供热的实质 所谓低真空运行,循环水供热,就是以采取减少循环水量的办法,达到提高汽轮机排汽的压力,降低凝汽器的真空,至使排汽温度随之升高,使
期刊
凝汽器真空
低真空
排汽温度
循环水量
排汽量
汽封
凝汽式机组
冷源损失
进汽量
机组热效率
双片TM1300视频采集卡的高速数据传递方案
介绍了一种基于双片TM1300的双路视频采集卡的高速数据传递方案.在分析了TM1300芯片的EVO、VI、PCI、SSI等外设接口特性的基础上,提出了用EVO与VI互联来实现双路视频采集卡中
期刊
TM1300
视频采集卡
视频技术
高速数据传递
可编辑逻辑器件
Video technology
High speed data transfer
TM130
改性沥青混凝土在施工阶段的检测和控制
文章作者详细介绍了改性沥青的检测和配制控制以及施工要点。
期刊
SBS
施工
检测
控制
SBS
construction
detection
control
多元线性回归的一种神经计算实现及其优点
给出了用模糊感知器学习算法和(ε,δ)准则估计多元线性回归模型回归系数的详细算法,讨论了学习速率、ε和δ的设定;并与经典的回归系数估计方法最小二乘法作比较,发现总体拟
期刊
多元线性回归
模糊感知器
(ε
δ)准则
学习速率
异常数据
神经计算法
数据库
数据挖掘
Multiple linear regression
Fuzzy p
一种适用于甚低比特率视频编码的运动估计技术
提出了一种有效的适用于甚低比特率视频编码的运动估计新技术。通过强加一定的空间连续性准则使得运动场结构更加平滑,并且将具有相同运动矢量的相邻图像子块合并为一组,对于这
期刊
图像处理
运动估计
甚低比特率
视频编码
Image processing
Motion estimation
Very low bitrate video c
与本文相关的学术论文