Information system risk auditing model based on process mining | IEEE Conference Publication | IEEE Xplore