An automatic search for security flaws in key management schemes. - Dennis Longley; S. Rigby (Comput. Secur., 1992)