@inproceedings{cohen:access-control:fast:2008,
  author	= {Cohen, Ariel and Meyden, {Ron van der} and Zuck, Lenore D.},
  title		= {Access Control and Information Flow in Transactional Memory},
  booktitle	= {The fifth International Workshop on Formal Aspects in Security and Trust (FAST2008)},
  year		= {2008},
}