A Framework for the Analysis of Security Protocols*-Reference-Cited by-同舟云学术

A Framework for the Analysis of Security Protocols*

Published:2002 Issue: Volume: Page:483-498
ISSN:0302-9743
Container-title:CONCUR 2002 — Concurrency Theory
language:
Short-container-title:

Author:

Boreale Michele,Buscemi Maria Grazia

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45694-5_32

Reference26 articles.

1. M. Abadi, B. Blanchet. Analyzing Security Protocols with Secrecy Types and Logic Programs. In Conf. Rec. of POPL’02, 2002.

2. M. Abadi, C. Fournet. Mobile Values, New Names, and Secure Communication. In Conf. Rec. of POPL’01, 2001.

3. M. Abadi, A. D. Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 148(1):1–70, 1999.

4. Lect Notes Comput Sci;R. M. Amadio,2000

5. R. M. Amadio, S. Lugiez, V. Vanackère. On the symbolic reduction of processes with cryptographic functions. RR 4147, INRIA Sophia Antipolis, March 2001.

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

1. Analysis Techniques for Information Security;Synthesis Lectures on Information Security, Privacy, and Trust;2010-04-28

2. The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols;Foundations of Security Analysis and Design V;2009

3. Efficient representation of the attacker’s knowledge in cryptographic protocols analysis;Formal Aspects of Computing;2008-05

4. On the semantics of Alice&Bob specifications of security protocols;Theoretical Computer Science;2006-11

5. A Declarative Framework for Security: Secure Concurrent Constraint Programming;Logic Programming;2006