المؤلفون: Dwyer Satterfield, Saraid, Erbatur, Serdar, Marshall, Andrew M., Ringeissen, Christophe

المساهمون: Saraid Dwyer Satterfield and Serdar Erbatur and Andrew M. Marshall and Christophe Ringeissen

مصطلحات موضوعية: Term rewriting, security protocols, verification

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 260, 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2023.30

الاتاحة: https://doi.org/10.4230/LIPIcs.FSCD.2023.30
https://nbn-resolving.org/urn:nbn:de:0030-drops-180148
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2023.30

المؤلفون: Dwyer Satterfield, Saraid, Erbatur, Serdar, Marshall, Andrew, M, Ringeissen, Christophe

المساهمون: University of Mary Washington, University of Texas at Dallas Richardson (UT Dallas), Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), David Cerna, Barbara Morawska

المصدر: 36th International Workshop on Unification
https://inria.hal.science/hal-03888198
36th International Workshop on Unification, David Cerna
Barbara Morawska, Aug 2022, Haifa, Israel

مصطلحات موضوعية: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Haifa, Israel

Relation: hal-03888198; https://inria.hal.science/hal-03888198; https://inria.hal.science/hal-03888198/document; https://inria.hal.science/hal-03888198/file/subterms_unif.pdf

الاتاحة: https://inria.hal.science/hal-03888198
https://inria.hal.science/hal-03888198/document
https://inria.hal.science/hal-03888198/file/subterms_unif.pdf

المؤلفون: Saraid Dwyer Satterfield and Serdar Erbatur and Andrew M. Marshall and Christophe Ringeissen, Dwyer Satterfield, Saraid, Erbatur, Serdar, Marshall, Andrew M., Ringeissen, Christophe

مصطلحات الفهرس: Term rewriting, security protocols, verification, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2023.30
Is Part Of LIPIcs, Volume 260, 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)