Dominic Duggan, Ye Wu. Transactional Correctness for Secure Nested Transactions - (Extended Abstract). In Roberto Bruni, Vladimiro Sassone, editors, Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers. Volume 7173 of Lecture Notes in Computer Science, pages 179-196, Springer, 2011. [doi]
Abstract is missing.