Publication:4798025
From MaRDI portal
zbMath1007.68129MaRDI QIDQ4798025
Publication date: 18 March 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2171/21710001.htm
68P25: Data encryption (aspects in computer science)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets, A comparison of semantic models for noninterference, On integrating confidentiality and functionality in a formal method, Securing interaction between threads and the scheduler in the presence of synchronization, Integration of a security type system into a program logic, CoCon: a conference management system with formally verified document confidentiality, On Intransitive Non-interference in Some Models of Concurrency, Timing-Sensitive Noninterference through Composition