Sage Journals: Discover world-class research

Retricted access

Research article

First published 2020-2-4

Verification of stateful cryptographic protocols with exclusive OR

Jannik Dreier, Lucca Hirschi, Saša Radomirović [...]

Journal of Computer Security

Retricted access

Research article

First published 2006-2-1

A survey of algebraic properties used in cryptographic protocols

Véronique Cortier, Stéphanie Delaune, Pascal Lafourcade

Journal of Computer Security

Retricted access

Research article

First published 2006-1

Advanced method for cryptographic protocol verification

Nabil El Kadhi, Hazem El-Gendy

Journal of Computational Methods in Sciences and Engineering

Free access

Other

First published 2009-1-1

Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic

Jihong Han, Zhiyong Zhou, Yadi Wang

International Journal of Distributed Sensor Networks

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

Retricted access

Research article

First published 2006-8

Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol

Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2014-7-11

Guiding a general-purpose C verifier to prove cryptographic protocols

François Dupressoir, Andrew D. Gordon, Jan Jürjens [...]

Journal of Computer Security

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

Retricted access

Research article

First published 2003-4-1

First-order verification of cryptographic protocols

Ernie Cohen

Journal of Computer Security

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

Search results