Automatic Compositional Verification of Some Security Properties.

Riccardo Focardi, Roberto Gorrieri

Browse the full TACAS paper archive.