First Page | Document Content | |
---|---|---|
Date: 2013-06-26 14:25:36Secure communication Cryptographic protocols Internet protocols Internet Standards Internet security Transport Layer Security Internet Information Services Cipher suite Security Support Provider Interface Windows Security and safety features new to Windows Vista FTPS | Harden SSL/TLS v1.01 Windows hardening tool Thierry ZOLLER http://blog.zoller.lu http://www.g-sec.luAdd to Reading ListSource URL: www.zoller.luDownload Document from Source WebsiteFile Size: 584,19 KBShare 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 |