The Validation and Verification of WSCDL.

Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He

Browse the full APSEC paper archive.