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
A comparison of semantic models for noninterference, Securing interaction between threads and the scheduler in the presence of synchronization, Integration of a security type system into a program logic, On Intransitive Non-interference in Some Models of Concurrency