REFINE: モデルリプログラミングによるインバージョン不要のバックドア防御