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

Journals (0)

1-10 of 958 results for Secure Protocol

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Refining security protocols

Retricted access

Research article

First published 2017-11-30

Refining security protocols

Christoph Sprenger, David Basin

Journal of Computer Security

Select article: Timed analysis of security protocols

Retricted access

Research article

First published 2007-9-29

Timed analysis of security protocols

R. Corin, S. Etalle, P.H. Hartel [...]

Journal of Computer Security

Select article: Fast automatic security protocol generation

Retricted access

Research article

First published 2012-6-12

Fast automatic security protocol generation

Hongbin Zhou, Simon N. Foley

Journal of Computer Security

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: 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: Resource and timing aspects of security protocols

Retricted access

Research article

First published 2021-5-7

Resource and timing aspects of security protocols

Abraão Aires Urquiza, Musab A. Alturki, Tajana Ban Kirigin [...]

Journal of Computer Security

Select article: Verifying Security Protocols Modelled by Networks of Automata

Retricted access

Research article

First published 2007-10

Verifying Security Protocols Modelled by Networks of Automata

Mirosław Kurkowski, Wojciech Penczek

Fundamenta Informaticae

Select article: LTL model-checking for security protocols

Retricted access

Other

First published 2011-8

LTL model-checking for security protocols

Roberto Carbone

The European Journal on Artificial Intelligence

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: Semantics and logic for security protocols

Retricted access

Research article

First published 2009-11-25

Semantics and logic for security protocols

Bart Jacobs, Ichiro Hasuo

Journal of Computer Security

1
2
3
•••
96
10 / page

Article type

Publication date

Subjects

Access