Генератор випадкових чисел (ГВЧ) PokerStars
Компанія PokerStars відправила детальну інформацію про використовувані нею генератори випадкових чисел (ГВЧ) двом незалежним організаціям. Ми звернулися до цих двох надійних організацій провести ретельний аналіз випадковості чисел, що отримуються в результаті роботи нашого ГВЧ, та їх використання при тасуванні карт PokerStars.
BMM International є незалежною тестовою та консультаційною агенцією, яка займається проектуванням, оцінкою, реалізацією, тестуванням і управлінням комп'ютерних та Інтернет-систем. Компанія тестує і сертифікує всі види комп'ютерних систем та мереж традиційної та електронної комерції, спеціалізуючись на системах ігор, парі та спортивних тоталізаторах. Компанія PokerStars надала BMM початковий код свого ГВЧ і алгоритму тасування карт, а також програмне забезпечення, що використовується PokerStars для забезпечення безпеки випадкових чисел. Після цього компанія BMM піддала початковий код і результати роботи ГВЧ ретельному тестуванню, включаючи тести Марсальї "Die Hard".
Компания 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": набір тестів для генераторів випадкових чисел, розроблений Джорджем Марсальї, заслуженим професором Державного Університету Флоріди (який також розробив декілька поширених ГВЧ).
Генератор випадкових чисел (ГВЧ): система, пристрій або модуль, що створює послідовність очевидно незв'язаних чисел.
