Skip to main content

Zeitschrift

Journal of Automated Reasoning 4/2021
Journal of Automated Reasoning

Ausgabe 4/2021

share
TEILEN
insite
SUCHEN

Inhaltsverzeichnis (4 Artikel)

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

Aktuelle Ausgaben

Premium Partner