Ariel Cohen 0002, Ron van der Meyden, Lenore D. Zuck. Access Control and Information Flow in Transactional Memory. In Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli, editors, Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers. Volume 5491 of Lecture Notes in Computer Science, pages 316-330, Springer, 2008. [doi]
Abstract is missing.