Page 12 of ANSI X9.17-1985 lists the full set of sixteen design requirements for the protocol.
The four highlighted requirements are the ones that are not always satisfied due to the design flaw which forms the basis for The Electronic Money Mill.
Key Management Requirements