Denial-of-Service Security Attack in the Continuous-Time World

Shuling Wang, Flemming Nielson, Hanne Riis Nielson. Denial-of-Service Security Attack in the Continuous-Time World. In Erika Ábrahám, Catuscia Palamidessi, editors, Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. Volume 8461 of Lecture Notes in Computer Science, pages 149-165, Springer, 2014. [doi]

Abstract

Abstract is missing.