Security Invariants in Discrete Transition Systems (BiBTeX)

@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,
  month = 	 jan,
  volume =       25,
  number =       1,
  pages =        {59--87},
  publisher =    {Springer-Verlag},
  note = 	 {\url{http://dx.doi.org/10.1007/s00165-012-0256-1}}
}