首页    期刊浏览 2024年11月26日 星期二
登录注册

文章基本信息

  • 标题:Relating Two Standard Notions of Secrecy
  • 本地全文:下载
  • 作者:Véronique Cortier ; Michaël Rusinowitch ; Eugen Zalinescu
  • 期刊名称:Logical Methods in Computer Science
  • 印刷版ISSN:1860-5974
  • 电子版ISSN:1860-5974
  • 出版年度:2007
  • 卷号:3
  • 期号:03
  • DOI:10.2168/LMCS-3(3:2)2007
  • 出版社:Technical University of Braunschweig
  • 摘要:

    Two styles of definitions are usually considered to express that a security protocol preserves the confidentiality of a data s. Reachability-based secrecy means that s should never be disclosed while equivalence-based secrecy states that two executions of a protocol with distinct instances for s should be indistinguishable to an attacker. Although the second formulation ensures a higher level of security and is closer to cryptographic notions of secrecy, decidability results and automatic tools have mainly focused on the first definition so far. This paper initiates a systematic investigation of the situations where syntactic secrecy entails strong secrecy. We show that in the passive case, reachability-based secrecy actually implies equivalence-based secrecy for digital signatures, symmetric and asymmetric encryption provided that the primitives are probabilistic. For active adversaries, we provide sufficient (and rather tight) conditions on the protocol for this implication to hold.

  • 关键词:Secrecy;Security Protocols;Digital Signatures;Asymmetric Encryption;confidentiality;Systematics;Adversaries
国家哲学社会科学文献中心版权所有