Showing 181 - 200 results of 241 for search '"cryptographic protocol"', query time: 0.16s Refine Results
  1. 181
    Information Security Practice and Experience 14th International Conference, ISPEC 2018, Tokyo, Japan, September 25-27, 2018, Proceedings /
    Published 2018
    Table of Contents: “… Applications to SVM -- (k,l)-clustering for Transactional Data Streams Anonymization -- Cryptographic Protocols…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 182
    Automata, Languages and Programming 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings /
    Published 1999
    Table of Contents: “… -- Proof Techniques for Cryptographic Protocols -- Type Structure for Low-Level Programming Languages…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 183
    Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 – July 4, 2014, Brunów, Poland
    Published 2014
    Table of Contents: “… simulation of cryptographic protocols using algebraic processor -- Disturbance Injection in Dependability…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 184
    Advances in Dependability Engineering of Complex Systems Proceedings of the Twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2 - 6, 2017, Brunów, Poland /
    Published 2018
    Table of Contents: “… of calculations in cryptographic protocols using a combination of different bases of finite fields -- 17.Dynamic…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 185
    Automata, Languages and Programming 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings /
    Published 2000
    Table of Contents: “… -- Non Interference for the Analysis of Cryptographic Protocols -- Average Bit-Complexity of Euclidean…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 186
    Modelling, Computation and Optimization in Information Systems and Management Sciences Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008. Proceedings /
    Published 2008
    Table of Contents: “… of DCA and Simulated Annealing Algorithm -- Non-standard Attacks against Cryptographic Protocols…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 187
    Information and Communication Technology International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013. Proceedings /
    Published 2013
    Table of Contents: “… Modelling of Cryptographic Protocols by Means of the Quality of Protection Modelling Language (QoP-ML…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 188
    Automata, Languages and Programming 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings /
    Published 2001
    Table of Contents: “… of Cryptographic Protocols -- Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols -- Fair…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 189
    Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings /
    Published 2009
    Table of Contents: “…-Level Reasoning and Low-Level Control -- A General Approach to the Verification of Cryptographic…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 190
    Parallel and Distributed Processing 15 IPDPS 2000 Workshops Cancun, Mexico, May 1-5, 2000 Proceedings /
    Published 2000
    Table of Contents: “…: Theory and Applications FMPPTA 2000 -- A Method for Automatic Cryptographic Protocol Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 191
    Μελέτη κρυπτογραφικών πρωτοκόλλων για την ασφάλεια ηλεκτρονικών ψηφοφοριών
    Get full text
  12. 192
    Cryptography and Security Systems Third International Conference, CSS 2014, Lublin, Poland, September 22-24, 2014. Proceedings /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  13. 193
    Versatile architectures for cryptographic systems
    “… seamlessly the underlying cryptographic protocols, which not only gives an added value in the design from…”
    Get full text
    Thesis
  14. 194
    Provable Security 5th International Conference, ProvSec 2011, Xi’an, China, October 16-18, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  15. 195
    Topics in Cryptology – CT-RSA 2012 The Cryptographers’ Track at the RSA Conference 2012, San Francisco, CA, USA, February 27 – March 2, 2012. Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  16. 196
    Progress in Cryptology - LATINCRYPT 2014 Third International Conference on Cryptology and Information Security in Latin America Florianópolis, Brazil, September 17–19, 2014 Revised Selected Papers /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  17. 197
    Security and Trust Management 11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015, Proceedings /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  18. 198
    Progress in Cryptology – AFRICACRYPT 2013 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  19. 199
    Information Security and Privacy 16th Australasian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  20. 200
    Trust, Privacy and Security in Digital Business 8th International Conference, TrustBus 2011, Toulouse, France, August 29 - September 2, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search