Showing 161 - 180 results of 241 for search '"cryptographic protocol"', query time: 0.13s Refine Results
  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 /
    Published 1998
    Table of Contents: “… for (Alleged) RC4 -- Reduced Complexity Correlation Attacks on Two Clock-Controlled Generators -- Cryptographic…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 162
    Information Security and Privacy 6th Australasian Conference, ACISP 2001, Sydney, Australia, July 11-13, 2001. Proceedings /
    Published 2001
    Table of Contents: “… Divisor Class Groups -- First Implementation of Cryptographic Protocols Based on Algebraic Number Fields…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 163
    FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Analysis of Cryptographic Protocols -- Symbolic Bisimulation for the Applied Pi Calculus -- Non-mitotic…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 164
    Information Technology Convergence, Secure and Trust Computing, and Data Management ITCS 2012 & STA 2012 /
    Published 2012
    Table of Contents: “… and Trust computing -- Authentication and access control -- Anonymity, identity management -- Cryptographic…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 165
    Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
    Published 1997
    Table of Contents: “… -- Weak bisimulation for fully probabilistic processes -- Towards a mechanization of cryptographic…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 166
    Automated Deduction - CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings /
    Published 1997
    Table of Contents: “… with simple geometry -- Automatic verification of cryptographic protocols with SETHEO -- A practical…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 167
    Automated Technology for Verification and Analysis Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Complexity -- Synthesising Attacks on Cryptographic Protocols -- Büchi Complementation Made Tighter -- SAT…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2004
    Table of Contents: “… for the Boundedness of UML RT Models -- Automatic Verification of Time Sensitive Cryptographic Protocols -- Case…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 169
    Applied Cryptography and Network Security Second International Conference, ACNS 2004, Yellow Mountain, China, June 8-11, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Generalized Clock-Controlled Alternating Step Generator -- Cryptographic Protocols -- FDLKH: Fully…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 170
    Pairing-Based Cryptography - Pairing 2010 4th International Conference, Yamanaka Hot Spring, Japan, December 2010. Proceedings /
    Published 2010
    Table of Contents: “… Pairing-Based Signatures in Constrained Batches -- Cryptographic Protocols -- Oblivious Transfer…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 171
    Information Security Practice and Experience 10th International Conference, ISPEC 2014, Fuzhou, China, May 5-8, 2014. Proceedings /
    Published 2014
    Table of Contents: “… Relevant Framework for Designing Cryptographic Protocols -- A CAPTCHA Scheme Based on the Identification…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 172
    Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /
    Published 2006
    Table of Contents: “… into Universal Designated Verifier Signatures -- Cryptographic Protocols -- Corrupting One vs. Corrupting Many…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 173
    Computer Security – ESORICS 2010 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings /
    Published 2010
    Table of Contents: “…-Independent Security -- Cryptographic Protocols -- Secure Multiparty Linear Programming Using Fixed-Point…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2009
    Table of Contents: “… -- Improved Non-committing Encryption with Applications to Adaptively Secure Protocols -- Cryptographic…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 175
    Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /
    Published 1998
    Table of Contents: “…-checking techniques for the formal verification of cryptographic protocols -- Verifying systems…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2005
    Table of Contents: “… Generation for Web Communities Modeling -- Recursion Versus Replication in Simple Cryptographic Protocols…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 177
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    Published 2008
    Table of Contents: “… and B Security Models -- Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols -- Using…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 178
    Mathematical Foundations of Computer Science 2003 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Survey -- Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 179
    STACS 2004 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings /
    Published 2004
    Table of Contents: “… -- Lattices with Many Cycles Are Dense -- Automata-Based Analysis of Recursive Cryptographic Protocols…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2007
    Table of Contents: “… Verification -- The Heterogeneous Tool Set, Hets -- Security -- Searching for Shapes in Cryptographic Protocols…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search