Fred Spiessens, Peter Van Roy. A Practical Formal Model for Safety Analysis in Capability-Based Systems. In Rocco De Nicola, Davide Sangiorgi, editors, Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers. Volume 3705 of Lecture Notes in Computer Science, pages 248-278, Springer, 2005. [doi]
Abstract is missing.