Skip to main content
main-content
Top

Journal

Journal of Automated Reasoning 4/2021
Journal of Automated Reasoning

Issue 4/2021

share
SHARE
insite
SEARCH

Table of Contents (4 Articles)

27-07-2020

Automated Proof of Bell–LaPadula Security Properties
Maximiliano Cristiá, Gianfranco Rossi

21-10-2020

A Decidable Class of Security Protocols for Both Reachability and Equivalence Properties
Véronique Cortier, Stéphanie Delaune, Vaishnavi Sundararajan

Open Access 09-09-2020

Formalising -Protocols and Commitment Schemes Using CryptHOL
D. Butler, A. Lochbihler, D. Aspinall, A. Gascón

14-08-2020

An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model
Zhé Hóu, David Sanan, Alwen Tiu, Yang Liu, Koh Chuen Hoa, Jin Song Dong

Premium Partner