Equivariant Moduli Theory On K3 Surfaces