First Page | Document Content | |
---|---|---|
![]() Date: 2012-08-25 21:41:01Cryptographic protocols Internet protocols IPsec Tunneling protocols Network architecture Security Parameter Index Internet security Internet Key Exchange Internet protocol suite IPv6 Transmission Control Protocol Internet Security Association and Key Management Protocol | Add to Reading List |
![]() | 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 |