Wei Hu, Dongyao Ji. Formal Analysis of Dynamic Domain Establishment Protocol in Cloud Logging Service. In Marco Vieira, João Carlos Cunha, editors, Dependable Computing - 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings. Volume 7869 of Lecture Notes in Computer Science, pages 24-38, Springer, 2013. [doi]
Abstract is missing.