Sage Journals: Discover world-class research

Retricted access

Research article

First published 2010-9-20

Finite models for formal security proofs

Jean Goubault-Larrecq

Journal of Computer Security

Retricted access

Research article

First published 2013-2-12

Efficient construction of machine-checked symbolic protocol security proofs

Simon Meier, Cas Cremers, David Basin

Journal of Computer Security

Retricted access

Research article

First published 2001-7-1

Relations between secrets: two formal analyses of the Yahalom protocol

Lawrence C. Paulson

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

Machine-checked proofs of privacy against malicious boards for Selene & Co 1

Constantin Cătălin Drăgan, François Dupressoir, Ehsan Estaji [...]

Journal of Computer Security

Free access

Research article

First published 2006-11

Adaptive Chosen Ciphertext Secure Threshold Key Escrow Scheme from Pairing

Yu Long, Kefei Chen, Shengli Liu

Informatica: An International Journal of Computing and Informatics

Free access

Research article

First published 2006-8

Provably Secure Convertible User Designating Confirmer Partially Blind Signatures

Zhenjie Huang, Kefei Chen, Yumin Wang

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2005-8-24

A derivation system and compositional logic for security protocols

Anupam Datta, Ante Derek, John C. Mitchell [...]

Journal of Computer Security

Retricted access

Research article

First published 1993-02

Negotiating Arithmetic,Constructing Proof: The Sociology of Mathematics and Information Technology

Donald MacKenzie

Social Studies of Science

Retricted access

Research article

First published 2026-5

SoK: Robust properties,robust abstractions and back-translations

Emiel Lanckriet, Frank Piessens, Dominique Devriese

Journal of Computer Security

Search results