An audit logic for accountability | IEEE Conference Publication | IEEE Xplore