Parallel Maude-NPA for Cryptographic Protocol Analysis : 14th Rewriting logic and it's applications International workshop, WRLA
In: Lecture notes in computer science 13252:253-273; Jg. 13252 (2022) S. 253-273
Konferenz
Zugriff:
Titel: |
Parallel Maude-NPA for Cryptographic Protocol Analysis : 14th Rewriting logic and it's applications International workshop, WRLA
|
---|---|
Autor/in / Beteiligte Person: | Do, Canh Minh ; Riesco, Adrián ; Escobar, Santiago ; Ogata, Kazuhiro |
Link: | |
Quelle: | Lecture notes in computer science 13252:253-273; Jg. 13252 (2022) S. 253-273 |
Veröffentlichung: | 2022 |
Medientyp: | Konferenz |
ISSN: | 0302-9743 (print) |
Sonstiges: |
|