Definitions for "Nonces"
this term refers to data given in the identifiers part of the HLPSL description of the protocol, but not known at the beginning of a session. These data are created the first time they are used.