Sciweavers

IFIP
2010
Springer

Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction

13 years 7 months ago
Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction
Clément Hurlin, Hélène Kirchn
Added 18 May 2011
Updated 18 May 2011
Type Journal
Year 2010
Where IFIP
Authors Clément Hurlin, Hélène Kirchner
Comments (0)