Changyu Dong, Franziskus Kiefer: Secure Set-Based Policy Checking and Its Application to Password Registration. CANS 2015: 59-74