Генератор случайных чисел (ГСЧ) PokerStars
Компания PokerStars отправила подробные данные об используемом компанией PokerStars генераторе случайных чисел (ГСЧ) двум независимым организациям. Мы обратились к этим двум надежным организациям провести тщательный анализ случайности чисел, получаемых в результате работы нашего ГСЧ, и их использования при тасовке карт PokerStars.
BMM International является независимым тестовым и консультационным агентством, которое занимается проектированием, оценкой, реализацией, тестированием и управлением компьютерных и Интернет-систем. Компания тестирует и сертифицирует все виды компьютерных систем и сетей традиционной и электронной коммерции, специализируясь на системах интеллектуальных спортивных игр, пари и спортивных тотализаторов.
Компания PokerStars предоставила BMM исходный код своего ГСЧ и алгоритма тасовки карт, а также программное обеспечение, используемое PokerStars для обеспечения безопасности случайных чисел. После этого компания BMM подвергла исходный код и результаты работы ГСЧ тщательному тестированию, включая тесты Марсальи "Die Hard".
Компания BMM выяснила, что:
- ГСЧ и алгоритм тасовки PokerStars дают действительно случайные и непредсказуемые результаты;
- программа, используемая PokerStars, соответствует установленным отраслевым требованиям (включая источники энтропии, безопасность, невозможность прогнозирования, равномерность и беспристрастность)
- программа прошла тесты Марсальи "Die Hard"
BMM сделала вывод, что ГСЧ и алгоритм тасовки карт PokerStars соответствует требованиям стандарта "I0101 - Internet Gaming Random Number Generator Requirements" (требования к генераторам случайных чисел, используемых в интеллектуальных спортивных играх по Интернету).
www.bmm.com.au
Cigital, Inc. - ведущий поставщик решений ускорения разработки и поставки высококачественного программного обеспечения. Компания является одним из крупнейших поставщиков решений управления качеством программных продуктов и сотрудничает с такими известными во всем мире корпорациями, как Visa International, AOL Time Warner, Motorola, General Electric, Ericsson и др.
Cigital объявила, что ей удалось подтвердить надежность и безопасность генератора случайных чисел (ГСЧ), который используется PokerStars для тасовки карт на покерном сайте PokerStars.com.
Cigital проанализировала исходный код, источники энтропии и документацию реализации ГСЧ PokerStars. Кроме того, пробный выходной поток ГСЧ, предоставленный PokerStars, был подвергнут тестированию FIPS 140-1, которое завершилось успешно. Имея полный доступ к исходному коду, Cigital провела все стандартные атаки на ГСЧ PokerStars, но не смогла взломать его. Cigital заключила, что реализация PokerStars соответствует текущим стандартам генерации случайных чисел.
"Программное обеспечение, которое можно сгенерировать надежные случайные числа, является неотъемлемой частью индустрии интеллектуальных спортивных игр", - сказал главный директор по технологиям Cigital Гэри МакГро (Gary McGraw). "Наш анализ включал тщательную проверку соответствующего алгоритма генерации случайных чисел. И поэтому мы можем с уверенностью заявить, что ГСЧ, используемый PokerStars для раздачи карт на PokerStars.com, дает статистически случайные последовательности. Что, в свою очередь, создает безопасную и честную игровую среду для игроков сайта".
"Стремление Cigital к совершенству хорошо известно в индустрии интеллектуальных спортивных игр", - сказал вице-президент по маркетингу PokerStars Дэн Голдман (Dan Goldman). "И то, что они обнаружили недостатки в реализациях ГСЧ другого крупного покерного сайта, еще более утвердило наше решение сотрудничать с Cigital. Их огромный технический опыт и комплексный подход к надежности и безопасности ПО сделали им репутацию надежного стороннего оценщика программ".
Глоссарий
Энтропия: мера неопределенности или случайности системы.
FIPS 140-1: правительственный стандарт США для реализаций криптографических модулей, то есть аппаратного и программного обеспечения, которое шифрует и расшифровывает данные или выполняет другие криптографические операции. FIPS 140-1 определяет требования к безопасности, которые должны быть удовлетворены в криптографическом модуле, используемом в системах безопасности, защищающих информацию компьютерных систем.
Тесты Марсальи "Die Hard": набор тестов для генераторов случайных чисел, разработанный Джорджем Марсальей, заслуженным профессором Государственного Университета Флориды (который также разработал несколько распространенных ГСЧ).
Генератор случайных чисел (ГСЧ): система, устройство или модуль, создающий последовательность очевидно несвязанных чисел.
