@inproceedings{TimedWorld,
  title = "Extending noninterference properties to the timed world",
  author = "A. W. Roscoe and Jian Huang",
  year = "2006",
  booktitle = "{Proceedings of SAC 2006}",
  note = "to appear",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/110.pdf",
}