Securing the Future — An Information Flow Analysis of a Distributed OO Language
From MaRDI portal
Publication:2891392
DOI10.1007/978-3-642-27660-6_47zbMath1302.68051OpenAlexW1528661018MaRDI QIDQ2891392
Publication date: 15 June 2012
Published in: SOFSEM 2012: Theory and Practice of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-27660-6_47
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)
Related Items (1)
Uses Software
Cites Work
- Noninterference for concurrent programs and thread systems
- Securing the Future — An Information Flow Analysis of a Distributed OO Language
- Security for Multithreaded Programs Under Cooperative Scheduling
- A Complete Guide to the Future
- Perspectives of System Informatics
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Securing the Future — An Information Flow Analysis of a Distributed OO Language