Auditing System Using Rule-Based Reasoning in Ubiquitous Computing | IEEE Conference Publication | IEEE Xplore