Secure Logging for Auditable File System Using Separate Virtual Machines | IEEE Conference Publication | IEEE Xplore