Automatic source code decomposition for privilege separation | IEEE Conference Publication | IEEE Xplore