On the Prevention and Detection of Replay Attacks Using a Logic-Based Verification Tool - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Anca Jurcut, Tom Coffey, Reiner Dojen. On the Prevention and Detection of Replay Attacks Using a Logic-Based Verification Tool. In Andrzej Kwiecien, Piotr Gaj, Piotr Stera, editors, Computer Networks - 21st International Conference, CN 2014, Brunów, Poland, June 23-27, 2014. Proceedings. Volume 431 of Communications in Computer and Information Science, pages 128-137, Springer, 2014. [doi]

This author has not been identified. Look up 'Anca Jurcut' in GoogleThis author has not been identified. Look up 'Tom Coffey' in GoogleThis author has not been identified. Look up 'Reiner Dojen' in Google

runs on WebDSL