Security invariants in discrete transition systems
type: Item
instance of: scholarly article
title: Security invariants in discrete transition systems
zbMATH Open document ID: 1259.68127
author: Thai Son Hoang
published in: Formal Aspects of Computing
publication date: 2013-03-22T00:00:00Z
full work available at URL: 165 2012 Article 256.pdf
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 6148354
zbMATH Keywords: shadow semantics
zbMATH Keywords: Event-B
zbMATH Keywords: noninterference security
zbMATH Keywords: refinement
zbMATH Keywords: invariants
describes a project that uses: UNITY
describes a project that uses: Rodin
describes a project that uses: ProB
MaRDI profile type: Publication
OpenAlex ID: W1989004114
cites work: The B-Book
cites work: Q3569584
cites work: The dining cryptographers problem: Unconditional sender and recipient untraceability
cites work: Q4692502
cites work: Q4845472
cites work: Abstractions of non-interference security: probabilistic versus possibilistic
cites work: Q5486061
cites work: The Shadow Knows: Refinement of Ignorance in Sequential Programs
cites work: The shadow knows: refinement and security in sequential programs
cites work: Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
cites work: Two Applications of Epistemic Logic in Computer Security
DOI: 10.1007/S00165-012-0256-1
description: scientific article; zbMATH DE number 6148354