Semi-Automatic Synthesis of Security Policies by Invariant-Guided Abduction- Full version- (2010)

Cached

Download Links

by Clément Hurlin , Hélène Kirchner