Xuhui Ao Naftaly H. Minsky Victoria Ungureanu Formal Treatment of Certificate Revocation under Communal Access Control. 116- 2001 IEEE Symposium on Security and Privacy http://computer.org/proceedings/s%26p/1046/10460116abs.htm db/conf/sp/sp2001.html#AoMU01