We characterize the Pareto boundary of the achievable rate region of the two-user symmetric Gaussian interference channel when transmitters control their transmission power and receivers have successive interference cancelation capability. By identifying the shape of achievable rate region according to the strength of interference channels, we find combinations of decoding and power allocation strategies achieving the Pareto boundary. We also characterize the Pareto boundary of the achievable rate region when time sharing is additionally considered.