Verification of Secure Distributed Systems in Higher Order Logic: A Modular Approach Using Generic Components.

Jim Alves-Foss, Karl N. Levitt

Browse the full SP paper archive.