GCM has been proven secure in the concrete security model.
GCMの安全性はconcrete security modelによって証明されている。