This paper discusses current strategies for the development of AIDS vaccines which allow immunization to disturb the natural course of HIV at different detailed stages of its life cycle. Mathematical models describing the main biological phenomena (i.e. virus and vaccine induced T4 cell growth; virus and vaccine induced activation of latently infected T4 cells; incremental changes in immune response as infection progresses; antibody dependent enhancement and neutralization of infection) and allowing for different vaccination strategies serve as a background for computer simulations. The mathematical models reproduce updated information on the behavior of immune cells, antibody concentrations and free viruses. The results point to some controversial outcomes of an AIDS vaccine such as an early increase in virus concentration among vaccinated when compared to nonvaccinated individuals.