Applying the Abadi-Lamport composition theorem in real-world secure system integration environments.

Judith A. Hemenway, Jonathan Fellows

Browse the full ACSAC paper archive.