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

文章基本信息

  • 标题:Analysing Privacy-Type Properties in Cryptographic Protocols (Invited Talk)
  • 作者:St{\'e}phanie Delaune
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2018
  • 卷号:108
  • 页码:1:1-1:21
  • DOI:10.4230/LIPIcs.FSCD.2018.1
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:Cryptographic protocols aim at securing communications over insecure networks such as the Internet, where dishonest users may listen to communications and interfere with them. For example, passports are no more pure paper documents. Instead, they contain a chip that stores additional information such as pictures and fingerprints of their holder. In order to ensure privacy, these chips include a mechanism, i.e. a cryptographic protocol, that does not let the passport disclose private information to external users except the intended terminal. This is just a single example but of course privacy appears in many other contexts such as RFIDs technologies or electronic voting. Formal methods have been successfully applied to automatically analyse traditional protocols and discover their flaws. Privacy-type security properties (e.g. anonymity, unlinkability, vote secrecy, ...) are expressed relying on a notion of behavioural equivalence, and are actually more difficult to analyse than confidentiality and authentication properties. We will discuss some recent advances that have been done to analyse automatically equivalence-based security properties, and we will review some issues that remain to be solved in this field.
  • 关键词:cryptographic protocols; symbolic models; privacy-related properties; behavioural equivalence
Loading...
联系我们|关于我们|网站声明
国家哲学社会科学文献中心版权所有