Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Cole Vick"'
Autor:
Cole Vick, Kenneth L. McMillan
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031249495
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::86a20648cfdd7b4c8d2edb1111085c9f
https://doi.org/10.1007/978-3-031-24950-1_15
https://doi.org/10.1007/978-3-031-24950-1_15
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783030921231
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1ede54137ab6b444085fb0b0f18a021f
https://doi.org/10.1007/978-3-030-92124-8_18
https://doi.org/10.1007/978-3-030-92124-8_18
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030545482
SAFECOMP
SAFECOMP
Distributed protocols should be robust to both benign malfunction (e.g. packet loss or delay) and attacks (e.g. message replay). In this paper we take a formal approach to the automated synthesis of attackers, i.e. adversarial processes that can caus
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1c516d2cb57c64d494049f84b7f41b4a
https://doi.org/10.1007/978-3-030-54549-9_9
https://doi.org/10.1007/978-3-030-54549-9_9