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

Journals (0)

1-10 of 73 results for security protocol verification

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Abstractions for security protocol verification

Retricted access

Research article

First published 2018-7-10

Abstractions for security protocol verification

Binh Thanh Nguyen, Christoph Sprenger, Cas Cremers

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: Automatic verification of correspondences for security protocols *

Retricted access

Research article

First published 2009-7-2

Automatic verification of correspondences for security protocols *

Bruno Blanchet

Journal of Computer Security

Select article: Verification of security protocols with lists: From length one to unbounded length

Retricted access

Research article

First published 2013-12-20

Verification of security protocols with lists: From length one to unbounded length

Miriam Paiola, Bruno Blanchet

Journal of Computer Security

Select article: Automated analysis of security protocols with global state

Retricted access

Research article

First published 2016-11-8

Automated analysis of security protocols with global state

Steve Kremer, Robert Künnemann

Journal of Computer Security

Select article: IsaNet: A framework for verifying secure data plane protocols

Retricted access

Research article

First published 2023-5-29

IsaNet: A framework for verifying secure data plane protocols

Tobias Klenze, Christoph Sprenger, David Basin

Journal of Computer Security

Select article: PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL

Open access

Research article

First published 2025-11

PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL

Andreas Viktor Hess, Sebastian Alexander Mödersheim, Achim D Brucker [...]

Journal of Computer Security

Select article: Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols

Retricted access

Research article

First published 2010-6-1

Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols

Sebastian Mödersheim, Luca Viganò, David Basin

Journal of Computer Security

Select article: Symbolic protocol verification with dice 1

Retricted access

Research article

First published 2023-10-13

Symbolic protocol verification with dice 1

Vincent Cheval, Raphaëlle Crubillé, Steve Kremer

Journal of Computer Security

Select article: A formal framework for security analysis of NFC mobile coupon protocols

Retricted access

Research article

First published 2015-9

A formal framework for security analysis of NFC mobile coupon protocols

Ali Alshehri, Steve Schneider

Journal of Computer Security

1
2
3
•••
8
10 / page

Article type

Publication date

Subjects

Access