Showing 121 - 140 results of 241 for search '"cryptographic protocol"', query time: 0.13s Refine Results
  1. 121
    CONCUR 2004 - Concurrency Theory 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings /
    Published 2004
    Table of Contents: “… in the Spi Calculus -- A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps -- Deciding…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 122
    Proceedings of the Third International Scientific Conference "Intelligent Information Technologies for Industry" (IITI'18) Volume 2 /
    Published 2019
    Table of Contents: “… Clustering Techniques -- Impact of Security Aspects at the IOTA protocol -- Cryptographic Protocol Security…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 123
    Data Privacy Management, Cryptocurrencies and Blockchain Technology ESORICS 2019 International Workshops, DPM 2019 and CBT 2019, Luxembourg, September 26-27, 2019, Proceedings /
    Published 2019
    Table of Contents: “… in Application Software -- Card-based Cryptographic Protocols with the Minimum Number of Rounds Using Private…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 124
    Foundations and Practice of Security 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers /
    Published 2013
    Table of Contents: “… Attack with Clustering and Information Theoretic Measurements -- Key Management and Cryptographic…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 125
    Financial Cryptography and Data Security 10th International Conference, FC 2006 Anguilla, British West Indies, February 27-March 2, 2006 Revised Selected Papers /
    Published 2006
    Table of Contents: “… Selection -- Efficient Cryptographic Protocols Realizing E-Markets with Price Discrimination.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 126
    Progress in Cryptology – AFRICACRYPT 2008 First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. Proceedings /
    Published 2008
    Table of Contents: “… of Security -- Cryptographic Protocols -- An (Almost) Constant-Effort Solution-Verification Proof-of-Work…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 127
    Progress in Cryptology – AFRICACRYPT 2009 Second International Conference on Cryptology in Africa, Gammarth, Tunisia, June 21-25, 2009. Proceedings /
    Published 2009
    Table of Contents: “…-Authenticated Group Key Agreement with Adaptive Security and Contributiveness -- Cryptographic Protocols…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 128
    Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
    Published 2009
    Table of Contents: “… in Cryptographic Protocols -- Concurrency -- A Theory of Non-monotone Memory (Or: Contexts for free) -- Abstraction…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 129
    Progress in Cryptology – Mycrypt 2005 First International Conference on Cryptology in Malaysia, Kuala Lumpur, Malaysia, September 28-30, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Based Cryptographic Hash Functions -- Cryptographic Protocols -- Optimization of Electronic First-Bid…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 130
    Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Device Driver Verification -- Integrating Verification, Testing, and Learning for Cryptographic Protocols…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 131
    Cryptology and Network Security 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Virtual Computing Environment Based on Remote I/O Binding Mechanism -- Cryptographic Protocols -- Dynamic…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 132
    Rewriting Techniques and Applications 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings /
    Published 2003
    Table of Contents: “…-Order Logic and Application to Cryptographic Protocols -- An E-unification Algorithm for Analyzing…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 133
    CONCUR 2003 - Concurrency Theory 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Charts and Projections -- Security -- Composition of Cryptographic Protocols in a Probabilistic…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 134
    Data and Application Security Developments and Directions /
    Published 2001
    Table of Contents: “… Mediator -- Simulation And Analysis of Cryptographic Protocols -- Authentic Third-Party Data Publication…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 135
    Foundations of Software Science and Computation Structures 7th International Conference, FOSSACS 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 Cryptographic Protocols -- Hypergraphs and Degrees of Parallelism: A Completeness Result -- Behavioral…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 136
    Smart Card Research and Advanced Applications 7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006. Proceedings /
    Published 2006
    Table of Contents: “… -- Smartcard Firewalls Revisited -- Multi-stage Packet Filtering in Network Smart Cards -- Cryptographic…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 137
    Information Systems Security 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings /
    Published 2008
    Table of Contents: “… Management Systems -- Complexity of Checking Freshness of Cryptographic Protocols -- Secure Internet Voting…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 138
    Information, Security and Cryptology – ICISC 2009 12th International Conference, Seoul, Korea, December 2-4, 2009, Revised Selected Papers /
    Published 2010
    Table of Contents: “… -- Cryptographic Protocol -- Linear, Constant-Rounds Bit-Decomposition -- Attacking and Repairing the Improved…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 139
    CONCUR 2000 - Concurrency Theory 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings /
    Published 2000
    Table of Contents: “…: Obeying the Laws -- Secrecy and Group Creation -- On the Reachability Problem in Cryptographic Protocols…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 140
    Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings /
    Published 2005
    Table of Contents: “…: Complexity of Verifying Cryptographic Protocols with Single Blind Copying -- Applications of General Exact…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search