Formal Security Policy Verification of Distributed Component-Structured Software.

Peter Herrmann

Browse the full FORTE paper archive.