A logic for secure memory access of abstract state machines
From MaRDI portal
Publication:555787
DOI10.1016/j.tcs.2004.11.011zbMath1080.68057OpenAlexW1965433750MaRDI QIDQ555787
Robert F. Stärk, Stanislas Nanchen
Publication date: 10 June 2005
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2004.11.011
LogicAbstract state machinesAccess predicateSecure information flowSequentialization of parallel ASMs
Related Items
Towards a Logic for Abstract MetaFinite State Machines, Formal specification and verification of the C\(\#\) thread model
Uses Software
Cites Work