"Comment on "Design and formal security evaluation of NeMHIP"."

Ting Wang, Dongyao Ji (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics