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

Search all journals

Search journals, articles...

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

Article type

Publication date

Subjects

Access

Articles (943)

Journals (0)

1-10 of 943 results for Security protocols

Sort by:

Relevance

Select allExport selected citations

Select allExport selected citations

Sort by:

Relevance

Retricted access

Research article

First published 2007

Timed analysis of security protocols

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

Journal of Computer Security

Retricted access

Research article

First published 2018

Refining security protocols

Christoph Sprenger, David Basin

Journal of Computer Security

Retricted access

Research article

First published 2012

Fast automatic security protocol generation

Hongbin Zhou, Simon N. Foley

Journal of Computer Security

Retricted access

Research article

First published 2018

Abstractions for security protocol verification

Binh Thanh Nguyen, Christoph Sprenger, Cas Cremers

Journal of Computer Security

Retricted access

Research article

First published 2016

Automated analysis of security protocols with global state

Steve Kremer, Robert Künnemann

Journal of Computer Security

Retricted access

Research article

First published 2021

Resource and timing aspects of security protocols

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

Journal of Computer Security

Retricted access

Research article

First published 2007

Verifying Security Protocols Modelled by Networks of Automata

Mirosław Kurkowski, Wojciech Penczek

Fundamenta Informaticae

Retricted access

Research article

First published 2009

Semantics and logic for security protocols

Bart Jacobs, Ichiro Hasuo

Journal of Computer Security

Retricted access

Other

First published 2011

LTL model-checking for security protocols

Roberto Carbone

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2014

Establishing and preserving protocol security goals

Joshua D. Guttman

Journal of Computer Security

1
2
3
•••
95
10 / page