On the Security of PAS (Predicate-Based Authentication Service) | IEEE Conference Publication | IEEE Xplore