You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (15)

Journals (0)

1-10 of 15 results for Dolev–Yao model

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Finite models for formal security proofs

Retricted access

Research article

First published 2010-9-20

Finite models for formal security proofs

Jean Goubault-Larrecq

Journal of Computer Security

Select article: Computational soundness of symbolic zero-knowledge proofs *

Retricted access

Research article

First published 2010-9-20

Computational soundness of symbolic zero-knowledge proofs *

Michael Backes, Dominique Unruh

Journal of Computer Security

Select article: Multiset rewriting and the complexity of bounded security protocols

Retricted access

Research article

First published 2004-2-1

Multiset rewriting and the complexity of bounded security protocols

Nancy Durgin, Patrick Lincoln, John Mitchell [...]

Journal of Computer Security

Select article: The faithfulness of abstract protocol analysis: Message authentication *

Retricted access

Research article

First published 2004-11-1

The faithfulness of abstract protocol analysis: Message authentication *

Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck

Journal of Computer Security

Select article: A comparison between strand spaces and multiset rewriting for security protocol analysis

Retricted access

Research article

First published 2005-3-7

A comparison between strand spaces and multiset rewriting for security protocol analysis

Iliano Cervesato, Nancy A. Durgin, Patrick D. Lincoln [...]

Journal of Computer Security

Select article: Computationally sound analysis of protocols using bilinear pairings

Retricted access

Research article

First published 2010-9-20

Computationally sound analysis of protocols using bilinear pairings

Steve Kremer, Laurent Mazaré

Journal of Computer Security

Select article: On the impossibility of building secure Cliques-type authenticated group key agreement protocols

Retricted access

Research article

First published 2006-4-20

On the impossibility of building secure Cliques-type authenticated group key agreement protocols

Olivier Pereira, Jean-Jacques Quisquater

Journal of Computer Security

Select article: Key-dependent message security under active attacks – BRSIM/UC-soundness of Dolev–Yao-style encryption with key cycles

Retricted access

Research article

First published 2008-10-13

Key-dependent message security under active attacks – BRSIM/UC-soundness of Dolev–Yao-style encryption with key cycles

Michael Backes, Birgit Pfitzmann, Andre Scedrov

Journal of Computer Security

Select article: An interpolation-based method for the verification of security protocols

Retricted access

Research article

First published 2017-8-24

An interpolation-based method for the verification of security protocols

Marco Rocchetto, Luca Viganò, Marco Volpe

Journal of Computer Security

Select article: Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage

Retricted access

Research article

First published 2009-10-12

Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage

Pedro Adão, Gergei Bana, Jonathan Herzog [...]

Journal of Computer Security

1
2
10 / page

Article type

Publication date

Subjects

Access