“argument patterns” written in Category Abstract Machine Language (CAML)
to the formal verification of security-critical software. To date, the DARPAfunded repository appears to be the only security design patterns effort that
gives equal consideration to software security and system, information, and
communication security needs.