Розроблено високопродуктивну інформаційну систему для алгебраїчного криптоаналізу потокових шифрів, запропоновано підхід до декомпозиції обчислювальної задачі й проведено обчислювальний експеримент. Показано, що час розв’язання системи алгебраїчних рівнянь можна зменшити за допомогою технологій паралельного програмування, зокрема OpenMP and MPI.
1. Кравець О. Підвищення ефективності криптоаналізу сучасних потокових шифрів / О. Кравець, С. А. Лупенко, А. М. Луцків // Вісник національного університету “Львівська політехніка”. – Львів: Видавництво Львівської політехніки, 2012. – № 741. – С. 240–245. 2. Nicolas Courtois: Higher Order Correlation Attacks, XL algorithm and Cryptanalysis of Toyocrypt, ICISC 2002, LNCS 2587, Springer. [Електронний ресурс]: Access mode: URL: http://eprint.iacr.org/2002/087/. 3. Nicolas Courtois and Willi Meier: Fast Algebraic Attacks on Stream Ciphers with Linear Feedback, Eurocrypt 2003, Warsaw, Poland, LNCS 2656, pp. 345-359, Springer. An [Електронний ресурс]: Access mode: URL: http://www.minrank.org/toyolili.pdf. 4. Загородна Н. В. Обґрунтування вибору доступних програмно-апаратних засобів високопродуктивних обчислювальних систем для задач криптоаналізу / Н. В. Загородна, С. А. Лупенко, А. М. Луцків // Електроніка та системи управління. – 2011. – № 1(27). – К.: НАУ, 2011. – С.42–50. 5. Security Transponder (HITAG2) Product Specification. PCF7936AS. NXP Semiconductors [Електронний ресурс]: Режим доступу: URL: http://www.mouser.com/catalog/specsheets/PCF7936AS__3851__C,1.pdf. 6. Petr Stembera. Cryptoanalysis of hitag2 cipher / Czech Technical University in Prague, 2011 – 61 p. 7. Mate Soos – CryptoMiniSat3 [Електронний ресурс]: Access mode: URL: http://www.msoos.org/cryptominisat3/. 8. Nieuwenhuis, Robert; Oliveras, Albert & Tinelly, Cesar (2004), “Abstract DPLL and Abstract DPLL Modulo Theories”, Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, Proceedings: 36–50. 9. The SAGE Group: SAGE mathematics software (2008) [Електронний ресурс]. – Режим доступу: URL: http://www.sagemath.org. – Назва з екрана. 10. Barrett E.: Logic2CNF logic solver and converter (March 2010) [Електронний ресурс]. – Режим доступу: URL: http://projects.cs.kent.ac.uk/projects/logic2cnf/ – Назва з екрана. 11. Ganesh V., Dill, D.L.: A decision procedure for bit-vectors and arrays. In Damm, W., Hermanns, H., eds.: CAV. Volume 4590 of Lecture Notes in Computer Science., Springer (2007) 519-531. 12. Soos M. Grain of Salt - An Automated Way to Test Stream Ciphers through SAT Solvers” [Електронний ресурс]: Access mode: URL: http://www.msoos.org/grain-of-salt