Journal of Automated Reasoning 4/2021 | springerprofessional.de

Journal of Automated Reasoning 4/2021 | springerprofessional.de

Registrieren Login

Springer Professional

nach oben

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

PDF-Version jetzt herunterladen Zum Volltext

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

Anzeige

Aktuelle Ausgaben

Ausgabe 1/2023

Ausgabe 4/2022

Ausgabe 3/2022

Ausgabe 2/2022

Ausgabe 1/2022

Ausgabe 8/2021

Ausgabe 7/2021

Ausgabe 6/2021

Ausgabe 5/2021

Ausgabe 4/2021

Premium Partner