M>>StrongName является чем-то типа цифровой подписи сборки.
Y>StrongName является, наверное, чем-то типа уникального идентификатора сборки, а частью цифровой подписи является PublicKey, или я ошибаюсь?

Да. Только PublicKey входит в StrongName.

Поэтому, чтобы окончательно удостоверить StrongName, нужно проверить цифровую подпись. Это именно тот момент, который привёл к прилагательному "strong" в названии StrongName.