An LLF specification of the Woo-Lam security protocol.

INCOMPLETE