A framework is described in which designs for key establishment protocols may be described at a high level of abstraction. This enables protocols to be designed without concern for implementation details, while emphasising the fundamentals elements required. Consideration of the natural alternatives leads to the definition of four fundamental classes of key establishment protocols into one of which most published protocols can be placed. Abstract and concrete protocols are described in each class, including some novel concrete designs.