Verifying Location-Based Services with Declassification Enforcement.

Cong Sun, Sheng Gao, Jianfeng Ma

Browse the full APWEB paper archive.