Analyzing security protocols with secrecy types and logic programs-Reference-Cited by-同舟云学术

Analyzing security protocols with secrecy types and logic programs

Published:2005-01 Issue:1 Volume:52 Page:102-146
ISSN:0004-5411
Container-title:Journal of the ACM
language:en
Short-container-title:J. ACM

Author:

Abadi Martín¹,Blanchet Bruno²

Affiliation:

1. University of California, Santa Cruz, Santa Cruz, CA

2. CNRS, École Normale Supérieure, Paris, France

Abstract

We study and further develop two language-based techniques for analyzing security protocols. One is based on a typed process calculus; the other, on untyped logic programs. Both focus on secrecy properties. We contribute to these two techniques, in particular by extending the former with a flexible, generic treatment of many cryptographic operations. We also establish an equivalence between the two techniques.

Publisher

Association for Computing Machinery (ACM)

Subject

Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software

Link

https://dl.acm.org/doi/pdf/10.1145/1044731.1044735

Reference53 articles.

1. Secrecy by typing in security protocols

2. A core calculus of dependency

3. Secrecy types for asymmetric communication

Cited by 78 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Toward Metaverse of everything: Opportunities, challenges, and future directions of the next generation of visual/virtual communications;Journal of Network and Computer Applications;2023-08

2. A Depth-Bounded Semantics for Becoming Informed;Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops;2023

3. The Security Protocol Verifier ProVerif and its Horn Clause Resolution Algorithm;Electronic Proceedings in Theoretical Computer Science;2022-11-22

4. Checking SysML Models Against Safety and Security Properties;Journal of Aerospace Information Systems;2021-12

5. Modeling and verifying a resource allocation algorithm for secure service migration for commercial cloud systems;Computational Intelligence;2021-02-09