The Formal Development of a Secure Transaction Mechanism.

Paul Smith, Richard Keighley

Browse the full FM paper archive.