Xiaole Bai Wenjun Gu Sriram Chellappan Xun Wang Dong Xuan Bin Ma PAS: Predicate-Based Authentication Services Against Powerful Passive Adversaries. 433-442 2008 ACSAC http://dx.doi.org/10.1109/ACSAC.2008.23 conf/acsac/2008 db/conf/acsac/acsac2008.html#BaiGCWXM08