Volltext verfügbar nach Anmeldung bzw. im Campus-Netz.
LDES: detector design for version number attack detection using linear temporal logic based on discrete event system
In: International Journal of Information Security, Jg. 22 (2023-08-01), Heft 4, S. 961-985
Online
academicJournal
Zugriff:
Titel: |
LDES: detector design for version number attack detection using linear temporal logic based on discrete event system
|
---|---|
Autor/in / Beteiligte Person: | Seth, Abhay Deep ; Biswas, Santosh ; Dhar, Amit Kumar |
Link: | |
Zeitschrift: | International Journal of Information Security, Jg. 22 (2023-08-01), Heft 4, S. 961-985 |
Veröffentlichung: | 2023 |
Medientyp: | academicJournal |
ISSN: | 1615-5262 (print) ; 1615-5270 (print) |
DOI: | 10.1007/s10207-023-00665-3 |
Sonstiges: |
|