A Formal Analysis of Data Distribution Service Security.

Binghan Wang, Hui Li, Jingjing Guan

Browse the full AsiaCCS paper archive.