Εμφανίζονται 141 - 160 Αποτελέσματα από 241 για την αναζήτηση '"cryptographic protocol"', χρόνος αναζήτησης: 0,20δλ Περιορισμός αποτελεσμάτων
  1. 141
    Theory of Cryptography Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Resource Fairness and Composability of Cryptographic Protocols -- One-Way Functions and Friends -- Finding…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 142
    Advances in Cryptology - CRYPTO 2006 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “…-Verifiable Voting with Everlasting Privacy -- Cryptographic Protocols for Electronic Voting -- Asymptotically…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 143
    Computer Network Security 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… for Cryptographic Protocols -- Credential Chain Discovery in RTT Trust Management Language -- Genetic Optimization…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 144
    Security Protocols 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- Is the Verification Problem for Cryptographic Protocols Solved? -- Secure Sessions from Weak Secrets -- Secure…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 145
    Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Producing Checkable Proofs -- Matching in Hybrid Terminologies -- Verifying Cryptographic Protocols…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 146
    Tools and Algorithms for the Construction and Analysis of Systems 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- Security and Cryptography -- A New Knowledge Representation Strategy for Cryptographic Protocol Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 147
    Public Key Cryptography - PKC 2006 9th International Conference on Theory and Practice in Public-Key Cryptography, New York, NY, USA, April 24-26, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… of a Braid Group Based Cryptographic Protocol -- High-Order Attacks Against the Exponent Splitting…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 148
    Advances in Cryptology – ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 149
    Cooperative Information Agents V 5th International Workshop, CIA 2001, Modena, Italy, September 6-8, 2001, Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… for Simultaneous Auctions -- Optimality and Risk in Purchase from Multiple Auctions -- Cryptographic Protocols…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 150
    Information Security 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Computation -- Cryptographic Protocols -- Distributed RSA Signature Schemes for General Access Structures…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 151
    Tools and Algorithms for the Construction of Analysis of Systems 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- An Automated Analysis of Ping-Pong Interactions in E-Mail Services -- Automatic Verification of Cryptographic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 152
    FME '97 Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… in Isabelle/HOL -- A proof obligation generator for VDM-SL -- Verification of cryptographic protocols…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 153
    Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Cryptographic Protocols Analysis in Event B -- A Query Language for Logic Architectures -- Planet Map Generation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 154
    Applied Cryptography and Network Security 5th International Conference, ACNS 2007, Zhuhai, China, June 5-8, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Cryptographic Protocols -- A New Protocol for Conditional Disclosure of Secrets and Its Applications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 155
    Information Security 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Rijndael -- High-Speed Pipelined Hardware Architecture for Galois Counter Mode -- Cryptographic Protocols…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 156
    Topics in Cryptology – CT-RSA 2008 The Cryptographers’ Track at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Camellia and MISTY1 -- Small Secret Key Attack on a Variant of RSA (Due to Takagi) -- Cryptographic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 157
    Computer Security - ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Automated Application-Specific Software Stacks -- Cryptographic Protocols -- Identity-Based Encryption…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 158
    Groupware: Design, Implementation, and Use 15th International Workshop, CRIWG 2009, Peso da Régua, Douro, Portugal, September 13-17, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… for Collaborative Map Handling -- Collaborative Learning -- Cooperative Model Reconstruction for Cryptographic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 159
    Σχεδιασμός και υλοποίηση αρχιτεκτονικής βασισμένης σε ελλειπτικές καμπύλες πάνω σε binary extension Galois Fields GF(2^n)
    Λήψη πλήρους κειμένου
    Thesis
  20. 160
    Progress in Cryptology - INDOCRYPT 2004 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- Secure Protocols for Complex Tasks in Complex Environments -- Cryptographic Protocols -- Tripartite Key…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email