Analysis of security protocols based on challenge-response

来源 :中国科学：F辑英文版 | 被引量 : 0次 | 上传用户：du_one

【摘要】

：

Security protocol is specified as the procedure of challenge-response, which uses applied cryptography to confirm the existence of other principals and fulfill

【作者】

：

LUO JunZhou YANG Ming

【机构】

：

SchoolofComputerScienceandEngineering

【出处】

：

中国科学：F辑英文版

【发表日期】

：

2007年2期

【关键词】

：

网络安全分析安全协议应用密码学应答响应 network security protocol analysis challenge-response

【基金项目】

：

Supported by the National Natural Science Foundation of China （Grant Nos. 90412014 and 90604004）, Jiangsu Provincial Key Laboratory of Network and Information Security （Grant No. BM2003201）, and Jiang

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

Security protocol is specified as the procedure of challenge-response, which uses applied cryptography to confirm the existence of other principals and fulfill some data negotiation such as session keys. Most of the existing analysis methods, which either

其他文献

A novel formal approach to program slicing

Program slicing is a well-known program analysis technique that extracts the ele-ments of a program related to a particular computation. The current slicing met

期刊

程序限制程序分析计算机技术形式语义学program slicing monads modularity slice monad transform

移动床与固定床活性炭吸附处理有机废水的技术经济分析

本文着重从活性炭吸附机理上阐述了移动床和固定床吸附处理有机废水的区别,并结合国内外有关生产实践进行了分析比较,证明在技术和经济上,移动床吸附优于固定床。

期刊

活性炭移动床固定床废水处理

上海市促进家庭农场发展条例

(2020年11月27日上海市第十五届人民代表大会常务委员会第二十七次会议通过)第一条为了保障本市家庭农场健康发展,维护家庭农场合法权益,发挥家庭农场的农业经营主体作用,促

期刊

农业经营主体家庭农场乡村振兴战略农民增收农业增效条例上海市第十五届

险资入侵反映的公司治理问题——以宝能系收购南玻A为例

南玻A是中国玻璃行业和光伏组件行业的优质龙头企业,但它的股权结构高度分散,成为宝能系的举牌对象。本文基于宝能系举牌收购南玻A的案例,首先说明了险资举牌后对被收购方南