Tag: protocol
Related publications: [P24]
IMAP (Internet Message Access Protocol) is used to access messages on mail servers. This IMAP model was obtained from applying active automata learning to the open-source hMailServer. The case study was carried out in the bachelor thesis of Duc Binh Pham [P24], supervised by Wolffhardt Schwabe. Since IMAP contains operations whose behavior depends on the mailbox content, several mailbox management operations were omitted from the input alphabet to avoid an explosion of states. The resulting model, shown in Figure 1, has 9 states and 34 inputs(see imap.png or imap.dot). It is similar to the reference model, shown in Figure 2, from page 15 of RFC 3501 Version 4rev1 (https://www.rfc-editor.org/rfc/pdfrfc/rfc3501.txt.pdf).
