On the representation and verification of cryptographic protocols in a theory of action.

James P. Delgrande, Aaron Hunter, Torsten Grote

Browse the full PST paper archive.