Verification of the IBOS Browser Security Properties in Reachability Logic

DOI10.1007/978-3-030-63595-4_10MaRDI QIDQ6486045zbMATH OpenFDO

Authors Stephen Skeirik, José Meseguer, Camilo Rocha

Publication date 22 December 2022

Published in 1517.68254 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-63595-4_10

Mathematics Subject Classification ID

Theory of operating systems (68N25) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
• One-path reachability logic
• A Verification Logic for Rewriting Logic
• A constructor-based reachability logic for rewrite theories
• A constructor-based reachability logic for rewrite theories

Cited in

(3)

• A Universally Composable Framework for the Analysis of Browser-Based Security Protocols
• Building correct-by-construction systems with formal patterns
• Inductive reasoning with equality predicates, contextual rewriting and variant-based simplification

This page was built for publication: Verification of the IBOS Browser Security Properties in Reachability Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6486045)