Sage Journals: Discover world-class research

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

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

Open access

Research article

First published 2020-5

Authenticated Key Agreement Protocol Based on Provable Secure Cryptographic Functions

Ausrys Kilciauskas, Gintaras Butkus, Eligijus Sakalauskas

Informatica: An International Journal of Computing and Informatics

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 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

Free access

Research article

First published 2005-2

An Improvement of the Ateniese's Verifiable Encryption Protocol

Constantin Popescu

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2004-5-1

Type-based cryptographic operations *

Dominic Duggan

Journal of Computer Security

Retricted access

Research article

First published 2014-2-20

Establishing and preserving protocol security goals

Joshua D. Guttman

Journal of Computer Security

Search results