Topic outline

  • Protocol design:

    • Gerard J. Holzman. Design and Validation of Computer Protocols. Prentice Hall Software Series. 1991. (Chapter 2)
    • Robin Sharp. Principles of protocol design. Springer 2008. http://www.imm.dtu.dk/~robs/ppd.html. (Chapter 8)
    • Mark Allman, Robert Beverly, and Brian Trammell. 2017. Principles for Measurability in Protocol Design. SIGCOMM Comput. Commun. Rev. 47, 2 (April 2017), 2–12. https://doi.org/10.1145/3089262.308926
    • NCSC white paper: Protocol design principles. Published in 2020. https://www.ncsc.gov.uk/whitepaper/protocol-design-principles