Dominic Duggan, Ye Wu. Security correctness for secure nested transactions: position paper. In Sergio Maffeis, Tamara Rezk, editors, Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, PLAS 2012, Beijing, China, 15 June, 2012. pages 4, ACM, 2012. [doi]
@inproceedings{DugganW12,
title = {Security correctness for secure nested transactions: position paper},
author = {Dominic Duggan and Ye Wu},
year = {2012},
doi = {10.1145/2336717.2336721},
url = {http://doi.acm.org/10.1145/2336717.2336721},
researchr = {https://researchr.org/publication/DugganW12},
cites = {0},
citedby = {0},
pages = {4},
booktitle = {Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, PLAS 2012, Beijing, China, 15 June, 2012},
editor = {Sergio Maffeis and Tamara Rezk},
publisher = {ACM},
isbn = {978-1-4503-1441-1},
}