@InProceedings{AskarovC12,
  author = 	 {Aslan Askarov and Stephen Chong},
  title = 	 {Learning is Change in Knowledge: Knowledge-based Security for Dynamic Policies},
  booktitle =	 {Proceedings of the 25th {IEEE} Computer Security Foundations Symposium},
  year = 	 2012,
  month = 	 jun,
  pages =	 {308--322},
  publisher =    {IEEE Press},
  address = 	 {Piscataway, NJ, USA}
}