For an optimal control problem we define a second variation which is invariant under change of coordinates, and realize it as a linear-quadratic problem. When the strong Legendre condition is satisfied we give a complete Hamiltonian characterization of the index and of the nullity of the second variation.