First Page | Document Content | |
---|---|---|
Date: 2015-04-08 06:00:06Computing Data Secure communication Cryptographic software Internet standards GnuTLS Cipher suite X.509 Public-key cryptography Cryptographic protocols Cryptography Internet protocols | This document includes text contributed by Nikos Mavrogiannopoulos, Simon Josefsson, Daiki Ueno, Carolin Latze, Alfredo Pironti, Ted Zlatanov and Andrew McDonald. Several corrections are due to Patrick Pelletier and AndrAdd to Reading ListSource URL: www.gnutls.orgDownload Document from Source WebsiteFile Size: 1,22 MBShare Document on Facebook |
On the Robustness of some Cryptographic Protocols for Mobile Agent Protection Volker Roth Fraunhofer Institut f¨ur Graphische Datenverarbeitung Rundeturmstraße 6, 64283 Darmstadt, GermanyDocID: 1uZJK - View Document | |
Verifying Cryptographic Protocols in Applied Pi Calculus Mark Ryan Ben SmythDocID: 1uXvn - View Document | |
Secure Cryptographic Protocols for E-commerce Transaction on the InternetDocID: 1uDkO - View Document | |
Type-Based Automated Verification of Authenticity in Cryptographic Protocols Daisuke Kikuchi and Naoki Kobayashi Graduate School of Information Sciences, Tohoku University {kikuchi,koba}@kb.ecei.tohoku.ac.jpDocID: 1u5Us - View Document | |
Cryptographic schemes Protocols Specifications of primitivesDocID: 1u4P2 - View Document |