A Logical System for Modular Information Flow Verification

DOI10.1007/978-3-319-73721-8_20zbMath1446.68098OpenAlexW2777541774MaRDI QIDQ3296345

Wei-Ngan Chin, Mahmudul Faisal Al Ameen, Adi Prabawa, Benedict Lee

Publication date: 7 July 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-73721-8_20

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: A Logical System for Modular Information Flow Verification