Sage Journals: Discover world-class research

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 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 2008-10-13

A secure compiler for session abstractions

Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet [...]

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

Free access

Research article

First published 2017-8

An IND-ID-CPA Secure ID-Based Cryptographic Protocol using GDLP and IFP

Chandrashekhar Meshram, Yuh-Min Tseng, Cheng-Chi Lee [...]

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2019

CTRL-PACE: Controlled Randomness for e-Passport Password Authentication *

Lucjan Hanzlik, Kamil Kluczniak, Mirosław Kutyłowski

Fundamenta Informaticae

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 2004-5-1

Polynomial liveness *

Michael Backes, Birgit Pfitzmann, Michael Waidner [...]

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

Retricted access

Research article

First published 2004-11-1

Formal specification and analysis of the Group Domain Of Interpretation Protocol using NPATRL and the NRL Protocol Analyzer

Catherine Meadows, Paul Syverson, Iliano Cervesato

Journal of Computer Security

Search results