Search results: Sage Journals

Restricted accessResearch articleFirst published February 12, 2013

Efficient construction of machine-checked symbolic protocol security proofs

Simon Meier, Cas Cremers, David Basin

Journal of Computer Security

Restricted accessResearch articleFirst published September 20, 2010

Finite models for formal security proofs

Jean Goubault-Larrecq

Journal of Computer Security

Restricted accessResearch articleFirst published July, 2023

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

Restricted accessResearch articleFirst published March 16, 2017

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

Joseph Y. Halpern

Journal of Computer Security

Restricted accessResearch articleFirst published January 24, 2014

Towards a cryptographic treatment of publish/subscribe systems 1

Tsz Hon Yuen, Willy Susilo, Yi Mu

Journal of Computer Security

Restricted accessResearch articleFirst published March, 2021

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

Erica De Bruin

Journal of Peace Research

Restricted accessResearch articleFirst published April, 2024

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

Andrew C. McWard, Hohyun Yoon

Journal of Conflict Resolution

Restricted accessResearch articleFirst published March, 2020

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

Restricted accessResearch articleFirst published January 1, 2007

SIA: Secure information aggregation in sensor networks

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

Journal of Computer Security

Restricted accessResearch articleFirst published March, 2023

Embedding a Proof-of-Concept Test in an At-Scale National Policy Experiment: Greater Policy Learning But at What Cost to Statistical Power? The Social Security Administration’s Benefit Offset National Demonstration (BOND)

Stephen H. Bell, David C. Stapleton, Michelle Wood [...]

American Journal of Evaluation

Restricted accessResearch articleFirst published February 12, 2013

Efficient construction of machine-checked symbolic protocol security proofs

Simon Meier, Cas Cremers, David Basin

Journal of Computer Security

Restricted accessResearch articleFirst published September 20, 2010

Finite models for formal security proofs

Jean Goubault-Larrecq

Journal of Computer Security

Restricted accessResearch articleFirst published July, 2023

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

Restricted accessResearch articleFirst published March 16, 2017

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

Joseph Y. Halpern

Journal of Computer Security

Restricted accessResearch articleFirst published January 24, 2014

Towards a cryptographic treatment of publish/subscribe systems 1

Tsz Hon Yuen, Willy Susilo, Yi Mu

Journal of Computer Security

Restricted accessResearch articleFirst published March, 2021

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

Erica De Bruin

Journal of Peace Research

Restricted accessResearch articleFirst published April, 2024

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

Andrew C. McWard, Hohyun Yoon

Journal of Conflict Resolution

Restricted accessResearch articleFirst published March, 2020

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

Restricted accessResearch articleFirst published January 1, 2007

SIA: Secure information aggregation in sensor networks

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

Journal of Computer Security

Restricted accessResearch articleFirst published March, 2023

Embedding a Proof-of-Concept Test in an At-Scale National Policy Experiment: Greater Policy Learning But at What Cost to Statistical Power? The Social Security Administration’s Benefit Offset National Demonstration (BOND)

Stephen H. Bell, David C. Stapleton, Michelle Wood [...]

American Journal of Evaluation