Εμφανίζονται 161 - 180 Αποτελέσματα από 241 για την αναζήτηση '"cryptographic protocol"', χρόνος αναζήτησης: 0,28δλ Περιορισμός αποτελεσμάτων
  1. 161
    Advances in Cryptology - ASIACRYPT'98 International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, October 18-22, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… for (Alleged) RC4 -- Reduced Complexity Correlation Attacks on Two Clock-Controlled Generators -- Cryptographic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 162
    Information Security and Privacy 6th Australasian Conference, ACISP 2001, Sydney, Australia, July 11-13, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Divisor Class Groups -- First Implementation of Cryptographic Protocols Based on Algebraic Number Fields…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 163
    FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Analysis of Cryptographic Protocols -- Symbolic Bisimulation for the Applied Pi Calculus -- Non-mitotic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 164
    Information Technology Convergence, Secure and Trust Computing, and Data Management ITCS 2012 & STA 2012 /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… and Trust computing -- Authentication and access control -- Anonymity, identity management -- Cryptographic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 165
    Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… -- Weak bisimulation for fully probabilistic processes -- Towards a mechanization of cryptographic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 166
    Automated Deduction - CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… with simple geometry -- Automatic verification of cryptographic protocols with SETHEO -- A practical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 167
    Automated Technology for Verification and Analysis Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Complexity -- Synthesising Attacks on Cryptographic Protocols -- Büchi Complementation Made Tighter -- SAT…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 168
    Tools and Algorithms for the Construction and Analysis of Systems 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… for the Boundedness of UML RT Models -- Automatic Verification of Time Sensitive Cryptographic Protocols -- Case…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 169
    Applied Cryptography and Network Security Second International Conference, ACNS 2004, Yellow Mountain, China, June 8-11, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Generalized Clock-Controlled Alternating Step Generator -- Cryptographic Protocols -- FDLKH: Fully…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 170
    Pairing-Based Cryptography - Pairing 2010 4th International Conference, Yamanaka Hot Spring, Japan, December 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Pairing-Based Signatures in Constrained Batches -- Cryptographic Protocols -- Oblivious Transfer…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 171
    Information Security Practice and Experience 10th International Conference, ISPEC 2014, Fuzhou, China, May 5-8, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Relevant Framework for Designing Cryptographic Protocols -- A CAPTCHA Scheme Based on the Identification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 172
    Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… into Universal Designated Verifier Signatures -- Cryptographic Protocols -- Corrupting One vs. Corrupting Many…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 173
    Computer Security – ESORICS 2010 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…-Independent Security -- Cryptographic Protocols -- Secure Multiparty Linear Programming Using Fixed-Point…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 174
    Advances in Cryptology – ASIACRYPT 2009 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Improved Non-committing Encryption with Applications to Adaptively Secure Protocols -- Cryptographic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 175
    Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “…-checking techniques for the formal verification of cryptographic protocols -- Verifying systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 176
    SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Generation for Web Communities Modeling -- Recursion Versus Replication in Simple Cryptographic Protocols…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 177
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… and B Security Models -- Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols -- Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 178
    Mathematical Foundations of Computer Science 2003 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Survey -- Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 179
    STACS 2004 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- Lattices with Many Cycles Are Dense -- Automata-Based Analysis of Recursive Cryptographic Protocols…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 180
    Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Verification -- The Heterogeneous Tool Set, Hets -- Security -- Searching for Shapes in Cryptographic Protocols…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email