Skip to main content

Journal of Automated Reasoning

Ausgabe 4/2021

Inhalt (4 Artikel)

Automated Proof of Bell–LaPadula Security Properties

Maximiliano Cristiá, Gianfranco Rossi

A Decidable Class of Security Protocols for Both Reachability and Equivalence Properties

Véronique Cortier, Stéphanie Delaune, Vaishnavi Sundararajan

Open Access

Formalising -Protocols and Commitment Schemes Using CryptHOL

D. Butler, A. Lochbihler, D. Aspinall, A. Gascón

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