Sage Journals: Discover world-class research

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 2010-9-20

Finite models for formal security proofs

Jean Goubault-Larrecq

Journal of Computer Security

Retricted access

Research article

First published 2023-7

Research on security access authentication mechanism of intelligent sensor based on non-interactive zero-knowledge proof method

Min Guo, Dongjuan Ma, Feng Jing [...]

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2025

Design of a secure electronic voting system based on zero-knowledge proof and blockchain technology

Bin Hu, Haixin Huang

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2017-3-16

From qualitative to quantitative proofs of security properties using first-order conditional logic 1

Joseph Y. Halpern

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

Mapping coercive institutions: The State Security Forces dataset,1960–2010

Erica De Bruin

Journal of Peace Research

Retricted access

Research article

First published 2024-4

Preventing Coups and Seeking Allies: The Demand and Supply of Alliances for Coup-Proofing Regimes

Andrew C. McWard, Hohyun Yoon

Journal of Conflict Resolution

Retricted access

Research article

First published 2020-3

Debating Global Food Security Through Models The Agrimonde Foresight Study (2008–2010) and Criticism of Economic Models and of Their ‘Productionist’ Translations

Gilles Tétart

Science,Technology and Society

Retricted access

Research article

First published 2007-1-1

SIA: Secure information aggregation in sensor networks

Haowen Chan, Adrian Perrig, Bartosz Przydatek [...]

Journal of Computer Security

Search results