Security Invariants in Discrete Transition Systems

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

Full text not available from this repository.

Item Type:	Article
Subjects:	Methodology > Security Tool developments > Rodin plug-ins
ID Code:	415
Deposited By:	Thai Son Hoang
Deposited On:	09 Jul 2012 14:31
Last Modified:	09 Jul 2012 14:31

Repository Staff Only: item control page

Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.