Application of many carbon sequestration strategies requires knowledge of thermodynamic properties for the extremely complex chemical system of CO2-SO2-H2O-NaCl- CaCl2-MgCl2. This University Coal Research Phase I program has been successful and highly productive in exploring an approach to develop an equation of state (EOS) to describe thermodynamic properties in the above chemical system. We have compiled available laboratory experimental data and thermodynamic models, and evaluated their appropriateness for the carbon sequestration process. Based on this literature review, we provided an improved CO2 solubility model for the CO2-H2O-NaCl system, which incorporates newly available experimental measurements funded by DOE, and is valid in temperature range from 273 to 533 K, pressure from 0 to 2000 bar, and salinity from 0 to 4.5 molality of NaCl equivalent. The improved model also greatly improves the computational efficiency of CO2 solubility calculations and thus is better suited to be incorporated into large computer simulation models (e.g., reservoir simulation models).