{"version":"1.0","type":"link","title":"Security protocol notation - Newikis","description":"In cryptography, security (engineering) protocol notation, also known as protocol narrations and Alice & Bob notation, is a way of expressing a protocol of correspondence between entities of a dynamic system, such as a computer network. In the context of a formal model, it allows reasoning about…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}