A logic for secure memory access of abstract state machines
type: Item
instance of: scholarly article
title: A logic for secure memory access of abstract state machines
zbMATH Open document ID: 1080.68057
author: Stanislas Nanchen
author: Robert F. Stärk
published in: Theoretical Computer Science
publication date: 2005-06-10T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 2174900
zbMATH Keywords: Abstract state machines
zbMATH Keywords: Logic
zbMATH Keywords: Access predicate
zbMATH Keywords: Secure information flow
zbMATH Keywords: Sequentialization of parallel ASMs
describes a project that uses: KeY
describes a project that uses: ASMKeY
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.11.011
OpenAlex ID: W1965433750
cites work: Q4520496
cites work: Abstract State Machines
cites work: Q2753715
cites work: Sequential abstract-state machines capture sequential algorithms
cites work: A semantic approach to secure information flow
cites work: Modular specification of frame properties in JML
DOI: 10.1016/J.TCS.2004.11.011
description: scientific article; zbMATH DE number 2174900