ASM Relational Transducer Security Policies
@techreport{Meyerovich:CS-05-12,
author = {Leo Meyerovich and Joel Weinberger and Colin Gordon and Shriram Krishnamurthi},
title = {ASM Relational Transducer Security Policies},
institution = {CS Department, Brown University},
year = {2006},
url = {http://www.cs.brown.edu/research/pubs/techreports/reports/CS-06-12.html},
number = {CS-06-12}
}