First Page | Document Content | |
---|---|---|
Date: 2016-08-05 04:38:12Computing OSI protocols Network architecture Data transmission Communications protocol Network protocols Cryptographic protocol Internet protocol suite OSI model Transport layer Datagram ProVerif | Developing teaching material for formal modeling of security protocols Daming Chen and Michael Huth Overview •Add to Reading ListSource URL: www.dcddcc.comDownload Document from Source WebsiteFile Size: 476,93 KBShare Document on Facebook |