„protocol verification“

Suchergebnisse

212 Treffer

• Verification of protocols against the corresponding service
  Eckert, Hans ; Prinoth, Rainer 1984 Ges. für Mathematik u. Datenverarbeitung
• System-on-chip protocol compliance verification using interval property checking – = Verifikation von System-on-chip-Protokollimplementierungen durch intervallbasierte Eigenschaftsprüfung
  Nguyen, Duc-Minh
• Optimisation des protocoles de réseaux de capteurs sans fil – Nouveaux protocoles économiseurs d’énergie pour les RCSF
  Zayani, Hafedh 2015 Presses Académiques Francophones
• On formalizing UML and OCL features and their employment to runtime verification
  Hamann, Lars
• Belief change and cryptographic protocol verification
  Hunter, Aaron ; Delgrande, James 2007 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Formal protocol verification applied – 07421 abstracts collection ; Dagstuhl seminar
  Chen, Liqun ; Kremer, Steve ; Ryan, Mark D. 2008 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Zero-knowledge in the applied Pi calculus and automated verification of the direct anonymous attestation protocol
  Backes, Michael ; Maffei, Matteo ; Unruh, Dominique 2008 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Formal protocol verification applied – 07421 executive summary
  Chen, Liqun ; Kremer, Steve ; Ryan, Mark D. 2008 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Towards Verification of the Pastry Protocol using TLA+
  Lu, Tianxiang ; Merz, Stephan ; Weidenbach, Christoph 2011 Max-Planck-Institut für Informatik
• Smartphone based Authentication & Authorization Protocol for SPACS – Physical Access Control System
  Bhutta, Faisal Karim 2014 LAP LAMBERT Academic Publishing
• Interactive Theorem Proving – 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
  Klein, Gerwin ; Gamboa, Ruben 2014 Springer International Publishing
• Equivalence class verification of the contract net protocol-extension
  Gupta, Amar Kumar ; Gallasch, Guy Edward