https://123dok.net/document/yd7kl0ej-automatic-abstraction-generation-verification-technique-security-protocols-available.html