Εμφανίζονται 161 - 180 Αποτελέσματα από 241 για την αναζήτηση '"cryptographic protocol"', χρόνος αναζήτησης: 0,28δλ Περιορισμός αποτελεσμάτων
  1. 161
    Έκδοση 1998
    Πίνακας περιεχομένων: “… for (Alleged) RC4 -- Reduced Complexity Correlation Attacks on Two Clock-Controlled Generators -- Cryptographic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 162
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Divisor Class Groups -- First Implementation of Cryptographic Protocols Based on Algebraic Number Fields…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 163
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Analysis of Cryptographic Protocols -- Symbolic Bisimulation for the Applied Pi Calculus -- Non-mitotic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 164
    Έκδοση 2012
    Πίνακας περιεχομένων: “… and Trust computing -- Authentication and access control -- Anonymity, identity management -- Cryptographic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 165
    Έκδοση 1997
    Πίνακας περιεχομένων: “… -- Weak bisimulation for fully probabilistic processes -- Towards a mechanization of cryptographic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 166
    Έκδοση 1997
    Πίνακας περιεχομένων: “… with simple geometry -- Automatic verification of cryptographic protocols with SETHEO -- A practical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 167
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Complexity -- Synthesising Attacks on Cryptographic Protocols -- Büchi Complementation Made Tighter -- SAT…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 168
    Έκδοση 2004
    Πίνακας περιεχομένων: “… for the Boundedness of UML RT Models -- Automatic Verification of Time Sensitive Cryptographic Protocols -- Case…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 169
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Generalized Clock-Controlled Alternating Step Generator -- Cryptographic Protocols -- FDLKH: Fully…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 170
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Pairing-Based Signatures in Constrained Batches -- Cryptographic Protocols -- Oblivious Transfer…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 171
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Relevant Framework for Designing Cryptographic Protocols -- A CAPTCHA Scheme Based on the Identification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 172
    Έκδοση 2006
    Πίνακας περιεχομένων: “… into Universal Designated Verifier Signatures -- Cryptographic Protocols -- Corrupting One vs. Corrupting Many…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 173
    Έκδοση 2010
    Πίνακας περιεχομένων: “…-Independent Security -- Cryptographic Protocols -- Secure Multiparty Linear Programming Using Fixed-Point…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 174
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Improved Non-committing Encryption with Applications to Adaptively Secure Protocols -- Cryptographic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 175
    Έκδοση 1998
    Πίνακας περιεχομένων: “…-checking techniques for the formal verification of cryptographic protocols -- Verifying systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 176
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Generation for Web Communities Modeling -- Recursion Versus Replication in Simple Cryptographic Protocols…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 177
    Έκδοση 2008
    Πίνακας περιεχομένων: “… and B Security Models -- Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols -- Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 178
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Survey -- Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 179
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- Lattices with Many Cycles Are Dense -- Automata-Based Analysis of Recursive Cryptographic Protocols…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 180
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Verification -- The Heterogeneous Tool Set, Hets -- Security -- Searching for Shapes in Cryptographic Protocols…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS Αποστολή αναζήτησης με email