An LLF specification of generic security protocols.

INCOMPLETE