Sage Journals: Discover world-class research

Retricted access

Research article

First published 2010-9-20

Formal security analysis of PKCS#11 and proprietary extensions

Stéphanie Delaune, Steve Kremer, Graham Steel

Journal of Computer Security

Retricted access

Research article

First published 2014-1-24

Towards a cryptographic treatment of publish/subscribe systems 1

Tsz Hon Yuen, Willy Susilo, Yi Mu

Journal of Computer Security

Retricted access

Research article

First published 2010-9-20

Computational soundness of symbolic zero-knowledge proofs *

Michael Backes, Dominique Unruh

Journal of Computer Security

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

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

Free access

Research article

First published 2007-2

A New ID-Based Deniable Authentication Protocol

Rongxing Lu, Zhenfu Cao, Shengbao Wang [...]

Informatica: An International Journal of Computing and Informatics

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 2011-11-4

Analysing TLS in the strand spaces model

Allaa Kamil, Gavin Lowe

Journal of Computer Security

Retricted access

Research article

First published 1997-1-1

Threat scenarios as a means to formally develop secure systems

Volkmar Lotz

Journal of Computer Security

Retricted access

Research article

First published 2023

Anonymous security authentication protocol based on identity encryption for cyber–physical power system

Xue Li, Jiale Chen, Cheng Jiang [...]

Transactions of the Institute of Measurement and Control

Search results