A logic for secure memory access of abstract state machines

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

zbMATH Keywords

LogicAbstract state machinesAccess predicateSecure information flowSequentialization of parallel ASMs

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Towards a Logic for Abstract MetaFinite State Machines, Formal specification and verification of the C\(\#\) thread model

Uses Software

• KeY
• ASMKeY

Cites Work

• A semantic approach to secure information flow
• Abstract State Machines
• Modular specification of frame properties in JML
• Sequential abstract-state machines capture sequential algorithms
• Unnamed Item
• Unnamed Item