Verifying persistent security properties
type: Item
instance of: scholarly article
title: Verifying persistent security properties
zbMATH Open document ID: 1072.68065
author: Riccardo Focardi
author: Carla Piazza
author: Sabina Rossi
author: Annalisa Bossi
published in: Computer Languages, Systems \& Structures
publication date: 2004-11-18T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2116453
zbMATH Keywords: Process algebra
zbMATH Keywords: Security
zbMATH Keywords: Noninterference
zbMATH Keywords: Verification
MaRDI profile type: Publication
full work available at URL: j.cl.2004.02.005
OpenAlex ID: W2024014242
Wikidata QID: Q62045715
cites work: Q4414391
cites work: Q3999188
cites work: Q4295369
cites work: May Testing, Non-interference, and Compositionality
cites work: Q4798029
cites work: A Proof System for Information Flow Security
cites work: Unwinding Possibilistic Security Properties
cites work: Characteristic formulae for processes with divergence
cites work: Results on the propositional \(\mu\)-calculus
cites work: Computer aided verification. 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 -- August 3, 1996. Proceedings
cites work: Three Partition Refinement Algorithms
cites work: Q4551136
cites work: Computer aided verification. 10th international conference, CAV'98, Vancouver, BC, Canada, June 28 -- July 2, 1998. Proceedings
cites work: Q3992568
cites work: Q4035257
cites work: An improved algorithm for the evaluation of fixpoint expressions
cites work: Q3992552
cites work: Q4195940
cites work: Q3619797
DOI: 10.1016/J.CL.2004.02.005
description: scientific article; zbMATH DE number 2116453