Search results: Sage Journals

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

Open accessResearch articleFirst published December, 2022

Konstantin Gavras, Matthias Mader, Harald Schoen

European Union Politics

Restricted accessResearch articleFirst published November, 2016

Zhicheng Wen, Jun Tang

Journal of Computational Methods in Sciences and Engineering

Restricted accessOtherFirst published September, 1985

Bent Sørensen

Cooperation and Conflict

Restricted accessResearch articleFirst published September, 2024

Atul Raj, Mohit Chauhan, Virender Kumar Chhoker [...]

Medico-Legal Journal

Restricted accessResearch articleFirst published July, 1968

Walter Galenson

ILR Review

Restricted accessOtherFirst published January, 1969

Peter S. Barth

ILR Review

Restricted accessResearch articleFirst published March 22, 2010

Pasquale Malacaria

Journal of Computer Security

Restricted accessResearch articleFirst published April, 2008

Mark B. Salter

Security Dialogue

Restricted accessResearch articleFirst published April, 2023

Biao Xiang, Xia Liu, Yong Chen

Transactions of the Institute of Measurement and Control