„protocol specification“

Suchergebnisse

127 Treffer

• The Mondex Case Study: From Specifications to Code
  Grandy, Holger ; Moebius, Nina ; Bischof, Markus ; Haneberg, Dominik ; Schellhorn, Gerhard ; Stenzel, Kurt ; Reif, Wolfgang 2006 Universität Augsburg
• Constructing formal models of cryptographic protocols from Alice&Bob style specifications via LLM
  Li, Qiang ; Han, Jihong ; Yuan, Lin ; Li, Xiangcheng ; Wang, Xiaoyu
• Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation
  Vassor, Martin ; Yoshida, Nobuko 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification of Population Protocols with Unordered Data
  Bergerem, Steffen ˜vanœ ; Guttenberg, Roland ; Kiefer, Sandra ; Mascle, Corto ; Waldburger, Nicolas ; Weil-Kennedy, Chana 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Specification and Analysis of Secure Cryptographic Protocols (Dagstuhl Seminar 01391)
  Basin, David ; Denker, Grit ; Millen, Jon ; Lowe, Gavin 2001 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation (Artifact)
  Vassor, Martin ; Yoshida, Nobuko
• Sound and Fine-grain Specification of Ideal Functionalities
  Garay, Juan ; Kiayias, Aggelos ; Zhou, Hong-Sheng
• Program Tailoring: Slicing by Sequential Criteria (Artifact)
  Tan, Tian ; Li, Yue ; Zhang, Yifei ; Xue, Jingling
• Specification and Implementation of Replicated List: The Jupiter Protocol Revisited
  Wei, Hengfeng ; Huang, Yu ; Lu, Jian 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)
  Braithwaite, Sean ; Buchman, Ethan ; Konnov, Igor ; Milosevic, Zarko ; Stoilkovska, Ilina ; Widder, Josef ; Zamfir, Anca 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compositional specification and verification of high speed transfer protocols
  Herrmann, Peter ; Krumm, Heiko 1994 Dekanat Informatik, Univ.
• Development of communication protocols by composing and refining temporal specifications
  Jmaiel, Mohamed 1994 Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
• An incremental specification of the sliding-window protocol
  Paliwoda, K. ; Sanders, J. W.
• Systems Specification by Basic Protocols
  Letichevsky, A. Ad ; Kapitonova, Yu. V. ; Volkov, V. A. ; Letichevsky, A. A. ; Baranov, S. N. ; Kotlyarov, V. P. ; Weigert, T.
• Specification and verification of security protocols and their utilization in scenario-based requirements engineering
  Koch, Thorsten 2024 Universitätsbibliothek
• Formal techniques in protocol specification and testing – proceedings of the 2. International KNP-4 Workshop, Bad Saarow, December 12 - 15, 1989
  Ködderitzsch, Wilfried 1990 Iir
• Specification of a transport and session layer protocol based on the message link protocol
  Vogt, Friedrich 1980 Hahn-Meitner-Inst. für Kernforschung
• Role based specification and security analysis of cryptographic protocols using asynchronous product automata
  Gürgens, Sigrid ; Ochsenschläger, Peter ; Rudolph, Carsten 2001 GMD-Forschungszentrum Informationstechnik
• Designing secure communication protocols from trust specifications
  Papadimitriou, C. H. ; Rangan, V. ; Sideri, M.
• Development of communication protocols with algebraic temporal specifications
  Jmaiel, Mohamed