Article deals with development of high-performance information system for stream cipher cryptanalysis by algebraic method. Decomposition of computational problem was suggested and computational experiment was carried out. Execution time of SAT solving can be decreased by using parallel programming technologies especially 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