Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson. Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces. In Wolfgang De Meuter, Gruia-Catalin Roman, editors, Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. Volume 6721 of Lecture Notes in Computer Science, pages 202-218, Springer, 2011. [doi]
Abstract is missing.