scientific article; zbMATH DE number 1948408
From MaRDI portal
Publication:4411973
zbMath1015.68509MaRDI QIDQ4411973
Andrei Sabelfeld, Heiko Mantel
Publication date: 13 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2477/24770376.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Data encryption (aspects in computer science) (68P25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (6)
Securing the Future — An Information Flow Analysis of a Distributed OO Language ⋮ Securing interaction between threads and the scheduler in the presence of synchronization ⋮ Controlling information release in the \(\pi\)-calculus ⋮ Specification and static enforcement of scheduler-independent noninterference in a middleweight Java ⋮ Thread algebra for noninterference ⋮ Type-based information flow analysis for the \(\pi\)-calculus
This page was built for publication:
