新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

whitesharp library [7 articles]

最近 whitesharp さんのライブラリ .
  • On the security of public key protocols
    Information Theory, IEEE Transactions on, Vol. 29, No. 2. (1983), pp. 198-208.
    by D Dolev, A Yao
    posted to dolev-yao protocol by whitesharp on 2007-09-16 14:55:57 as **** along with 1 person HailunTan
  • Formal Verification of Cardholder Registration in SET
    (2000), pp. 159-174.
    by Giampaolo Bella, Fabio Massacci, Lawrence C Paulson, Piero Tramontano
    posted to no-tag by whitesharp on 2007-09-11 11:12:59 as ***
  • Soft Constraints for Security Protocol Analysis: Confidentiality
    Lecture Notes in Computer Science, Vol. 1990 (2001), pp. 108-??.
    by Giampaolo Bella, Stefano Bistarelli
    posted to no-tag by whitesharp on 2007-09-11 11:12:37 as ***
  • A Formal Analysis of Some Properties of Kerberos 5 Using MSR
    by Frederick B Iliano
    posted to 5 kerberos msr by whitesharp on 2007-09-11 11:11:28 as read
  • Formal Analysis of Kerberos 5
    by Frederick B Iliano
    posted to 5 kerberos by whitesharp on 2007-09-11 11:10:35 as ****
  • Inductive Verification of Cryptographic Protocols
    (2000)
    by G Bella
    posted to 4 kerberos by whitesharp on 2007-09-11 11:09:06 as read along with 1 person meiersi
  • Verifying Confidentiality and Authentication in
    by Kerberos F Butler
    posted to 5 kerberos by whitesharp on 2007-09-11 11:07:46 as ****
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/whitesharp

    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.