Hasan: A Generic Auditing Framework for Compliance Verification of Internet Service Level Agreements; ETH Zürich, Computer Engineeering and Networks TIK, D-ITET, Zürich, Switzerland, October 2006.