Protocol modeling Sample Clauses

Protocol modeling. The modeling consists of three main parts: declarations, process macros, and the main process, which will be described in more detail below. For the HN and SN, we consider the generation of a public and private key pair. To begin with, the key pair is used for the encryption and decryption of the message. Second, we use the key pair for message signing and verification. Note that the proposed protocol does not directly use the digital signature in its message sequences. This is implicitly done by the participants when the transaction is registered in the blockchain. More specifically, it is done either when the SN registers the authentication request or when the HN registers the authentication response.