The dynamic nuclear polarization (DNP) process in solids depends on the magnitudes of hyperfine interactions between unpaired electrons and their neighboring (core) nuclei, and on the dipole-dipole interactions between all nuclei in the sample. The polarization enhancement of the bulk nuclei has been typically described in terms of a hyperfine-assisted polarization of a core nucleus by microwave irradiation followed by a dipolar-assisted spin diffusion process in the core-bulk nuclear system. This work presents a theoretical approach for the study of this combined process using a density matrix formalism. In particular, solid effect DNP on a single electron coupled to a nuclear spin system is considered, taking into account the interactions between the spins as well as the main relaxation mechanisms introduced via the electron, nuclear, and cross-relaxation rates. The basic principles of the DNP-assisted spin diffusion mechanism, polarizing the bulk nuclei, are presented, and it is shown that the polarization of the core nuclei and the spin diffusion process should not be treated separately. To emphasize this observation the coherent mechanism driving the pure spin diffusion process is also discussed. In order to demonstrate the effects of the interactions and relaxation mechanisms on the enhancement of the nuclear polarization, model systems of up to ten spins are considered and polarization buildup curves are simulated. A linear chain of spins consisting of a single electron coupled to a core nucleus, which in turn is dipolar coupled to a chain of bulk nuclei, is considered. The interaction and relaxation parameters of this model system were chosen in a way to enable a critical analysis of the polarization enhancement of all nuclei, and are not far from the values of (13)C nuclei in frozen (glassy) organic solutions containing radicals, typically used in DNP at high fields. Results from the simulations are shown, demonstrating the complex dependences of the DNP-assisted spin diffusion process on variations of the relevant parameters. In particular, the effect of the spin lattice relaxation times on the polarization buildup times and the resulting end polarization are discussed, and the quenching of the polarizations by the hyperfine interaction is demonstrated.