Verification of User-Reported Context Claims with Context Correlation Model | IEEE Conference Publication | IEEE Xplore