Toward efficient and protected address translation in memory management