Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott. Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. In David Lie, Mohammad Mannan, editors, Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy, CPS-SPC@CCS 2018, Toronto, ON, Canada, October 19, 2018. pages 60-71, ACM, 2018. [doi]

This author has not been identified. Look up 'Musab A. AlTurki' in GoogleThis author has not been identified. Look up 'Max I. Kanovich' in GoogleThis author has not been identified. Look up 'Tajana Ban Kirigin' in GoogleThis author has not been identified. Look up 'Vivek Nigam' in GoogleThis author has not been identified. Look up 'Andre Scedrov' in GoogleThis author has not been identified. Look up 'Carolyn L. Talcott' in Google

runs on WebDSL