„Security Protocol“

Suchergebnisse

1.000+ Treffer

• Automated Reasoning for Security Protocol Analysis
  Armando, Alessandro ; Basin, David A. ; Cuellar, Jorge ; Rusinowitch, Michaël ; Viganò, Luca
• OFMC: A symbolic model checker for security protocols
  Basin, David A. ; Mödersheim, Sebastian ; Viganò, Luca
• Quantum security analysis of a lattice-based oblivious transfer protocol
  Liu, Mo-meng ; Krämer, Juliane ; Hu, Yu-pu ; Buchmann, Johannes
• An Optimized Energy Saving Model for Hybrid Security Protocol in WMN
  Regan, R. ; Manickam, J. Martin Leo
• Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIX
  Hameurlain, Abdelkader ; Küng, Josef ; Wagner, Roland 2016 Springer Berlin Heidelberg
• Modern Cryptography – From RSA to Zero-Knowledge and Beyond
  Beutelspacher, Albrecht ; Schwenk, Jörg ; Wolfenstetter, Klaus-Dieter 2026 Springer Berlin
• Mechanized modeling and security proofs for web protocols
  Würtele, Tim ; Küsters, Ralf 2025 Universitätsbibliothek der Universität Stuttgart
• Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVI – Special Issue on Data Warehousing and Knowledge Discovery
  Hameurlain, Abdelkader ; Küng, Josef ; Wagner, Roland ; Bellatreche, Ladjel ; Mohania, Mukesh 2016 Springer International Publishing
• 2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020)
  Anceaume, Emmanuelle ; Bisière, Christophe ; Bouvard, Matthieu ; Bramas, Quentin ; Casamatta, Catherine 2021 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Verification of Mondex electronic purses with KIV: from a security protocol to verified code
  Grandy, Holger ; Bischof, Markus ; Stenzel, Kurt ; Schellhorn, Gerhard ; Reif, Wolfgang ; Cuellar, Jorge ; Maibaum, Tom ; Sere, Kaisa 2008 Universität Augsburg
• Codes, Cryptology, and Information Security – First International Conference, C2SI 2015, Rabat, Morocco, May 26-28, 2015, Proceedings - In Honor of Thierry Berger
  El Hajji, Said ; Nitaj, Abderrahmane ; Carlet, Claude ; Souidi, El Mamoun 2015 Springer International Publishing
• “Sec-KeyD” an efficient key distribution protocol for critical infrastructures
  Jain, Peeyush
• A security-based asymmetric cryptographic algorithm to improve IEEE802.11i protocol
  Shafiabadi, Mohammad Hossein ; Souri, Alireza ; Ghasempour, Abolghasem ; Asgari, Fereshteh
• SCADA communication protocols: vulnerabilities, attacks and possible mitigations
  Pidikiti, Durga Samanth ; Kalluri, Rajesh ; Kumar, R. K. Senthil ; Bindhumadhava, B. S.
• IT-Sicherheit – Konzepte - Verfahren - Protokolle
  Eckert, Claudia 2018 De Gruyter
• IT-Sicherheit – Konzepte - Verfahren - Protokolle
  Eckert, Claudia 2014 De Gruyter
• IT-Sicherheit – Konzepte - Verfahren - Protokolle
  Eckert, Claudia 2014 De Gruyter
• Security flaws in a recent RFID delegation protocol
  Erguler, Imran ; Anarim, Emin
• Model-driven testing of security protocols with SecureMDD
  Katkalov, Kuzman ; Moebius, Nina ; Stenzel, Kurt ; Borek, Marian ; Reif, Wolfgang ; Levi, Albert ; Badra, Mohamad ; Cesana, Matteo ; Ghassemian, Mona ; Gürbüz, Özgür ; Jabeur, Nafaâ ; Klonowski, Marek ; Maña, Antonio ; Sargento, Susana ; Zeadally, Sherali 2012 Universität Augsburg
• Transactions on Large-Scale Data- and Knowledge-Centered Systems LIV – Special Issue on Data Management - Principles, Technologies, and Applications
  Hameurlain, Abdelkader ; Tjoa, A Min ; Boucelma, Omar ; Toumani, Farouk 2023 Springer Berlin