Formalization of the IT Audit Management Process | IEEE Conference Publication | IEEE Xplore