Crypto.Noise.Validation

Types

data InspectionError

Represents a single error associated with a pattern.

• InitMultipleETokens, InitMultipleSTokens, RespMultipleETokens, RespMultipleSTokens -- multiple e/s tokens were encountered for a message originating with the initiator/responder.
• InitSecretNotRandom, RespSecretNotRandom -- From the protocol:

After performing a DH between a remote public key and any local private
key that is not an ephemeral private key, the local party must not send
any encrypted data (i.e. must not call ENCRYPT()) unless it has also
performed a DH between an ephemeral private key and the remote public
key.

• DHInPreMsg -- A DH token (such as ee or es) was found in the pre-message portion of the handshake.
• PSKInPreMsg -- A psk token was found in the pre-message portion of the handshake.
• PSKWithoutEToken -- A psk token was used before an e token was encountered.

Constructors

InitMultipleETokens ErrorPosition

InitMultipleSTokens ErrorPosition

RespMultipleETokens ErrorPosition

RespMultipleSTokens ErrorPosition

InitSecretNotRandom ErrorPosition

RespSecretNotRandom ErrorPosition

DHInPreMsg ErrorPosition

PSKInPreMsg ErrorPosition

PSKWithoutEToken ErrorPosition

Instances

Show InspectionError

Defined in Crypto.Noise.Internal.Handshake.Validation

Methods

showsPrec :: Int -> InspectionError -> ShowS

show :: InspectionError -> String

showList :: [InspectionError] -> ShowS

type ErrorPosition = (Int, Int)

(message number, token number)

Represents the location within the pattern at which an error resides, starting with zero.

Functions

validateHandshakePattern :: HandshakePattern -> [InspectionError]

Validates a HandshakePattern according to the rules defined in section 7.1 and 9.3 of the protocol. If no violations are found, the result will be an empty list.