Εμφανίζονται 61 - 80 Αποτελέσματα από 241 για την αναζήτηση '"cryptographic protocol"', χρόνος αναζήτησης: 0,11δλ Περιορισμός αποτελεσμάτων
  1. 61
    Advances in Cryptology - ASIACRYPT 2008 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Cryptographic Protocols I -- A Modular Security Analysis of the TLS Handshake Protocol -- Ambiguous Optimistic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 62
    Cryptology and Network Security 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…Cryptographic Protocol and Schemes I -- Improved Garbled Circuit Building Blocks and Applications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 63
    Topics in Cryptology – CT-RSA 2007 The Cryptographers’ Track at the RSA Conference 2007, San Francisco, CA, USA, February 5-9, 2007. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Multi-signatures from RSA -- Cryptographic Protocols (I) -- Improved Efficiency for Private Stable…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 64
    Security and Cryptography for Networks 7th International Conference, SCN 2010, Amalfi, Italy, September 13-15, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Threshold Attribute-Based Signcryption -- Cryptographic Protocols I -- Efficiency-Improved Fully Simulatable…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 65
    Formal to Practical Security Papers Issued from the 2005-2008 French-Japanese Collaboration /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… with CL-Atse -- Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 66
    Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Transformations between Cryptographic Protocols -- Formal Validation of OFEPSP+ with AVISPA -- On the Automated…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 67
    Information and Communications Security 7th International Conference, ICICS 2005, Beijing, China, December 10-13, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Signature Scheme -- Cryptographic Protocols -- Ciphertext Comparison, a New Solution to the Millionaire…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 68
    Information Assurance in Computer Networks: Methods, Models and Architectures for Network Security International Workshop MMM-ACNS 2001 St. Petersburg, Russia, May 21-23, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Mathematical Models of the Covert Channels -- Open Issues in Formal Methods for Cryptographic Protocol Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 69
    Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Master Control Device -- Invited Speaker: Joshua Guttman -- How to do Things with Cryptographic Protocols…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 70
    Advances in Information Security Management & Small Systems Security
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Using GYPSIE, GYNGER and Visual GNY to Analyze Cryptographic Protocols in Spear II -- Security…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 71
    Lightweight Cryptography for Security and Privacy Second International Workshop, LightSec 2013, Gebze, Turkey, May 6-7, 2013, Revised Selected Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… applications -- Cryptographic Protocols -- Secure & Lightweight Distance-Bounding -- Cryptanalysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 72
    Information Theoretic Security 7th International Conference, ICITS 2013, Singapore, November 28-30, 2013, Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… with applications for quantum key distribution -- Superposition Attacks on Cryptographic Protocols -- Overcoming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 73
    CONCUR 2002 - Concurrency Theory 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… and Temporal Mu-Calculi -- Types for Cryptographic Protocols -- Verification, Model Checking -- Network…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 74
    Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… System Verification -- Lazy Execution of Boolean Queries -- Cryptographic Protocol Verification Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 75
    Advances in Cryptology - EUROCRYPT '97 International Conference on the Theory and Application of Cryptographic Techniques Konstanz, Germany, May 11-15, 1997 Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… Cryptographic Protocols for Faults -- Lattice Attacks on NTRU -- Protocols -- Kleptography: Using Cryptography…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 76
    Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Leakage Chosen Ciphertext Attacks -- Cryptographic Protocols I -- Simple, Efficient and Strongly KI-Secure…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 77
    Detection of Intrusions and Malware, and Vulnerability Assessment Second International Conference, DIMVA 2005, Vienna, Austria, July 7-8, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… on Cryptographic Protocols: A Case Study -- METAL – A Tool for Extracting Attack Manifestations -- Flow-Level…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 78
    Advances in Information and Computer Security 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Distinguishing Attacks on HC-256 -- Cryptographic Protocols -- A Generic Construction of Timed-Release Encryption…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 79
    Automated Deduction - CADE-17 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Checking of the Many to the Few -- Simulation Based Minimization -- Rewriting for Cryptographic Protocol…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 80
    Information Security and Cryptology - ICISC 2002 5th International Conference, Seoul, Korea, November 28-29, 2002, Revised Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- Cryptographic Protocols I -- Receipt-Free Electronic Voting Scheme with a Tamper-Resistant Randomizer -- Non…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email