About this scholarly article

Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy - CPS-SPC '18 - Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols by Alturki, Musab A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn is a scholarly article available to read on EtoBox.

Author

Alturki, Musab A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn

Publisher

ACM Press

Published

2018