Hoang, Thai Son (2012) Security Invariants in Discrete Transition Systems. Formal Aspects of Computing . (In Press)