Enforcement for infinite-step opacity and K-step opacity via insertion mechanism