https://123dok.net/document/zx571rwq-strategy-for-verifying-security-protocols-with-unbounded-message-size.html