or system (e.g., security protocols, communications protocols, encryption
algorithms)—fall into three classes:
u Model-Oriented—Support the specification of a system by constructing
a mathematical model of it. Examples: Z, VDM.