Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

yoriyuki security [13 articles]

Recent papers added to yoriyuki library classified by the tag security. You can also see everyone's security.
  • Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR
    (1996), pp. 147-166.
    by Gavin Lowe
    posted to model-checking security protocol network fdr copy by yoriyuki on 2008-07-01 03:44:10 as **
  • ONLamp.com -- VPNs and Public Key Infrastructure
    posted to vpn security pki network copy by yoriyuki on 2008-07-01 03:40:55 as **
  • Deploying a VPN with PKI
    posted to vpn security pki network copy by yoriyuki on 2008-07-01 03:38:33 as **
  • Automated analysis of cryptographic protocols using Mur/spl phi/
    (1997)
    by JC Mitchell, M Mitchell, U Stern
    posted to model-checking security network cryptography copy by yoriyuki on 2008-07-01 03:27:15 as **
  • Finite-State Analysis of SSL 3.0
    by John C Mitchell, Shmatikov Vitaly, Ulrich Stern
    posted to model-checking formal-method security network copy by yoriyuki on 2008-07-01 03:23:13 as **
  • Verifying the SET registration protocols
    Selected Areas in Communications, IEEE Journal on, Vol. 21, No. 1. (2003), pp. 77-87.
    by G Bella, F Massacci, LC Paulson
    posted to theorem-proving security network formal-method copy by yoriyuki on 2008-07-01 03:20:41 as **
  • RFC2104 - HMAC:Keyed-Hashing for Message Authentication
    by H Krawczyk, M Bellare, R Canetti
    posted to security network by yoriyuki on 2008-06-30 08:53:29 as **
  • 上級JSSE開発者のためのカスタムSSL
    posted to ssl security network java by yoriyuki on 2008-06-30 08:32:20 as **
  • JSSE Reference Guide for the J2SDK, v 1.4.2
    posted to ssl security network java by yoriyuki on 2008-06-30 08:29:24 as **
  • Using JSSE for secure socket communication
    by Greg Travis
    posted to ssl security network java by yoriyuki on 2008-06-30 08:25:45 as **
  • Practical Threat Analysis and Risk Management
    posted to security copy by yoriyuki on 2008-06-06 09:06:57 as read
  • The Logic of Authentication Protocols ?
    by Paul Syverson, Iliano Cervesato
    posted to security copy by yoriyuki on 2008-06-06 08:37:14 as **
  • AnZenMail: A Secure and Certified E-mail System
    Software Security — Theories and Systems (2003), pp. 307-312.
    by Etsuya Shibayama, Shigeki Hagihara, Naoki Kobayashi, Shin-Ya Nishizaki, Kenjiro Taura, Takuo Watanabe
    posted to security copy by yoriyuki on 2008-06-06 08:32:35 as **
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/yoriyuki/tag/security

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.