Ein mathematisches Verfahren zur automatisierten Verifikation von KommunikationsprotokollenHans EckertEsaurito4,3Avvisami