今天是2024年12月14日 星期六 ynau 退出

Conditional Reactive Simulatability

http://www.firstlight.cn2008/11/13

[作者] Michael Backes Markus Dürmuth Dennis Hofheinz Ralf Küsters

[单位] Saarland University CWI, Cryptology and Information Security Group Christian-Albrechts-Universitä t zu Kiel

[摘要] Simulatability has established itself as a salient notion for defining and proving the security of cryptographic protocols since it entails strong security and compositionality guarantees, which are achieved b…

[关键词] Conditional Reactive Simulatability

Abstract. Simulatability has established itself as a salient notion for defining and proving the security of cryptographic

protocols since it entails strong security and compositionality guarantees, which are achieved by universally

quantifying over all environmental behaviors of the analyzed protocol. As a consequence, however, protocols that

are secure except for certain environmental behaviors are not simulatable, even if these behaviors are efficiently

identifiable and thus can be prevented by the surrounding protocol.

存档附件原文地址

原文发布时间:2008/11/13

引用本文:

Michael Backes;Markus Dürmuth;Dennis Hofheinz;Ralf Küsters.Conditional Reactive Simulatabilityhttp://ynau.firstlight.cn/View.aspx?infoid=556131&cb=zhangyingyingxg
发布时间:2008/11/13.检索时间:2024/12/14

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...