A model of the full-length HIV-1 integrase dimer was constructed assembling the experimentally determined structures of the single domains. Subsequently, the three-domain protein-viral DNA complex was generated for the first time through an automated docking algorithm, obtained modifying the ESCHER program, a well-known method for protein-protein docking. A detailed study of the contacts established with DNA by the enzyme revealed that the predicted model reproduced the results of mutagenesis and cross-linking experiments, confirming the validity of our docking approach in predicting the base specificity in the DNA-protein interaction.