Tag: protocol
Related publications: [BS25]
SMTP (Simple Mail Tranfer Protocol) is used to send mails. In [BS25], Bernas and Schwabe learned models of two SMTP implementations (Postfix and Haraka). The resulting models were subjected to automated cross-checking, which revealed multiple discrepancies. The models each have 32 inputs and 21 states (Postfix) respectively 20 states (Haraka).