@Article{hoang13:_secur_invar_discr_trans_system,
  author = 	{Thai Son Hoang},
  title = 	{Security Invariants in Discrete Transition Systems},
  journal = 	{Formal Aspects of Computing},
  year = 	2013,
  volume = 	25,
  number = 	1,
  pages =  	{59--87},
  publisher = 	{Springer-Verlag},
  note = 	{\url{http://dx.doi.org/10.1007/s00165-012-0256-1}}
}