A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies.

Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona

Browse the full SACMAT paper archive.