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 (36)

Journals (0)

1-10 of 36 results for Cryptographic protocol analysis

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Knowledge,Belief,and Semantics in the Analysis of Cryptographic Protocols

Retricted access

Research article

First published 1992-10-1

Knowledge,Belief,and Semantics in the Analysis of Cryptographic Protocols

Paul F. Syverson

Journal of Computer Security

Select article: Non-interference proof techniques for the analysis of cryptographic protocols

Retricted access

Research article

First published 2005-1-20

Non-interference proof techniques for the analysis of cryptographic protocols

Michele Bugliesi, Sabina Rossi

Journal of Computer Security

Select article: On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method

Retricted access

Research article

First published 2014-3

On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method

Yongyuth Permpoontanalarp, Panupong Sornkhom

Fundamenta Informaticae

Select article: Calibrating the power of schedulers for probabilistic polynomial-time calculus

Retricted access

Research article

First published 2010-3-22

Calibrating the power of schedulers for probabilistic polynomial-time calculus

Sardaouna Hamadou, John Mullins

Journal of Computer Security

Select article: Provable security for cryptographic protocols – exact analysis and engineering applications

Retricted access

Research article

First published 1998-1-1

Provable security for cryptographic protocols – exact analysis and engineering applications

James W. Gray, Kin Fai Epsilon Ip, King-Shan Lui

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: Establishing and preserving protocol security goals

Retricted access

Research article

First published 2014-2-20

Establishing and preserving protocol security goals

Joshua D. Guttman

Journal of Computer Security

Select article: A cost-based framework for analysis of denial of service in networks

Retricted access

Research article

First published 2001-1-1

A cost-based framework for analysis of denial of service in networks

Catherine Meadows

Journal of Computer Security

Select article: Detecting and preventing type flaws at static time *

Retricted access

Research article

First published 2010-3-22

Detecting and preventing type flaws at static time *

Chiara Bodei, Linda Brodo, Pierpaolo Degano [...]

Journal of Computer Security

Select article: A computational analysis of the Needham–Schroeder–(Lowe) protocol

Retricted access

Research article

First published 2005-8-24

A computational analysis of the Needham–Schroeder–(Lowe) protocol

Bogdan Warinschi

Journal of Computer Security

1
2
3
4
10 / page

Article type

Publication date

Subjects

Access