Object Property Assertions In Auditing