On the representation and verification of cryptographic protocols in a theory of action Digital Document DGI Image Discovery Discovered Image
