When it is done, there is a necessity to formalize the environment in which the protocol operates in order to identify threats.
V tom případě je potřeba formalizovat prostředí, ve kterém protokol operuje, aby mohli být identifikovány případné hrozby.