This paper describes a vaccination model to simulate the effect of cattle vaccination with concealed antigens on Boophilus tick spp. The model considers the vaccination effect in three parts: antibody titer, accumulation of damaging vaccination effects by parasite stages, and the effect of accumulated damage on all tick life stages. Biological parameters for ticks and hosts, as well as parameters describing tick–host interaction, were included. The validity of this model, integrated with the TICKSIM simulation program, was demonstrated for the Bm86-containing vaccine Gavac™ by comparing simulated and real data for several geographic locations in the Americas. All model parameters were estimated using field data collected in the different geographic locations. The model sensitivity to changes in antibody titer level and titer half-life was studied, and the impact on tick population density of changes in these parameters was evaluated. Simulation results showed that to achieve a higher level of tick control, an increase in the maximum antibody titer levels was more important than extending titer half-life in geographical locations with short seasonal peaks of tick infestation. The TICKSIM program, integrated with the new vaccination model, proved to be a framework for designing and evaluating tick control strategies, including vaccination with Gavac™.