The "Epistemic Crypto Logic" online tool is no longer available. See here for the source code.