scientific article; zbMATH DE number 1884405
From MaRDI portal
Publication:4798025
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Data encryption (aspects in computer science) (68P25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (9)
Securing interaction between threads and the scheduler in the presence of synchronization ⋮ A comparison of semantic models for noninterference ⋮ Interleaving vs True Concurrency: Some Instructive Security Examples ⋮ Integration of a security type system into a program logic ⋮ Timing-Sensitive Noninterference through Composition ⋮ CoCon: a conference management system with formally verified document confidentiality ⋮ On integrating confidentiality and functionality in a formal method ⋮ On Intransitive Non-interference in Some Models of Concurrency ⋮ Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets
This page was built for publication:
