データ整合性チェックと暗号モジュール