Optimization of ProVerif Programs for AKE Protocols
In: Programming and Computer Software, Jg. 48 (2022-12-01), Heft 8, S. 781-787
Online
academicJournal
Zugriff:
Titel: |
Optimization of ProVerif Programs for AKE Protocols
|
---|---|
Autor/in / Beteiligte Person: | Vinarskii, E. M. ; Demakov, A. V. |
Link: | |
Zeitschrift: | Programming and Computer Software, Jg. 48 (2022-12-01), Heft 8, S. 781-787 |
Veröffentlichung: | 2022 |
Medientyp: | academicJournal |
ISSN: | 0361-7688 (print) ; 1608-3261 (print) |
DOI: | 10.1134/s0361768822080035 |
Sonstiges: |
|