Test tool for equivalence of access control list. - Hirokazu Sayama; Noriaki Yoshiura (APNOMS, 2012)