Улучшенные оценки для числа k-эластичных и корреляционноиммунных двоичных отображений | Прикладная дискретная математика. Приложение. 2021. № 14. DOI: 10.17223/2226308X/14/8

Улучшенные оценки для числа k-эластичных и корреляционноиммунных двоичных отображений

Получены улучшенные нижние и верхние оценки для числа корреляционно-иммунных порядка k и k-эластичных ((n, m, к)-устойчивых) двоичных отображений.

Improved estimates for the number of (n, m, k)-resilient and correlation-immune boolean mappings.pdf В настоящее время использование систем распределённого реестра, основанных на технологии цепной записи данных (блокчейн) [1], становится всё более распространённым в самых различных отраслях современной цифровой экономики [2]. Пандемия COVID-19, продолжавшаяся весь 2020 год и не оконченная до сих пор, дала, согласно мнению ряда экспертов [3], дополнительный импульс развитию дистанционных доверенных сервисов, основой функционирования которых являются системы распределённых реестров, признанные в Российской Федерации, согласно [4], средством криптографической защиты информации. Как уже отмечалось в [5], в связи с расширением применения технологии блокчейн жизненно важным становится исследование информационной безопасности систем распределённого реестра, на этой технологии основанных. Одним из способов обеспечения безопасности данных в подобных системах является использование шифрования, например поточного, в связи с чем возникает задача оценки числа корреляционно-иммунных и (n, m, к)-устойчи-вых двоичных отображений, которые могут быть использованы в системах поточного шифрования в качестве комбинирующих отображений. Понятия корреляционной иммунности и (n. m. k)-устойчивости будем понимать в соответствии с [6], где подробно рассмотрены их свойства. Задаче оценки числа отображений и булевых функций, обладающих соответствующими свойствами, посвящён целый ряд работ, среди которых можно отметить [7- 10]. Ряд результатов был доложен автором на конференциях SIBECRYPT [11-13]. Обозначим через Vn множество двоичных векторов размерности n. Корреляционная иммунность и k-эластичность (или (n. m. k)-устойчивость) двоичного отображения f (а) = (f1 (а) . f2 (а) ..... fm (а)) : Vn V Vm, согласно [6], сводится к обладанию этими свойствами всеми ненулевыми линейными комбинациями координатных функций (компонентами [14]). В [15, 16] получены асимптотические оценки числа корреляционно-иммунных и (n. m. к)-устойчивых двоичных отображений с точностью до оценок мощности множества специального вида К** (m. N): К** (m.N) = {- (rj. 0 = J С {1..... m}. I C {1.... . n}. |I| < k) G (Z^-x)N : VI Vs g{1.....-}V5 G Vm( £ (-1)GWm(J)) j = 0 J C{1,...,m}, seJ где Z2m-i - кольцо вычетов по модулю 2m 1; г':11 (J) - индикаторный вектор множества J С {1..... m} [17]. Если использовать обозначение [8] м (n.k) = r(n Y s=0 s то легко показать, что К** (m.N) = (К (m))M (n,k) . где К (m) ={ V = (rJ. 0 = J C {1.... . m}) G (Z2m-i)2 1 : Vs G {1..... m} V 0, п > п0 верны неравенства m2 - m - 12 2 +17 M (п, k) - £1 < log2 |R [п, m, k] | - m2n + T (п, m, k) < ((16m - 47) 2m 4 - m + 3) M (п, k) + £2. Следствие 2. Пусть при всех достаточно больших п для произвольного 0 < y < < 5/18 выполняется неравенство k (5 + 21од2п) + 6m < п (5/18 - y)• Тогда существует п0, такое, что для любых £1,£2 > 0, п > п0 верны неравенства ^m2 - m - 12 ( 2 +17) M (п, k) - £1 < < log2 |K (^m, k)| - m2n - п ' 1 ± |og2 n - (2m - 1) + m2m-1 < ((16m - 47) 2m-4 - m + 3) M (п, k) + 2 + T (п, m, k) < m-4 Полученные в следствиях 1 и 2 результаты улучшают оценки, полученные ранее в работах [11, 12, 16, 18].

Ключевые слова

корреляционно-иммунные функции, эластичные вектор-функции, устойчивые вектор-функции, информационная безопасность, блокчейн, распределённый реестр

Авторы

ФИООрганизацияДополнительноE-mail
Панков Константин НиколаевичМосковский технический университет связи и информатикикандидат физико-математических наук, старший научный сотрудник отдела НИО-48, и.о. заведующего кафедрой; эксперт ТК-159 и ISO 307k.n.pankov@gmail.com
Всего: 1

Ссылки

Панков К. Н. Улучшенные асимптотические оценки для числа корреляционно-иммунных и k-эластичных двоичных вектор-функций // Дискретная математика. 2018. №2. С. 73-98.
Сачков В. Н. Курс комбинаторного анализа. Ижевск: НИЦ «Регулярная и хаотическая динамика», 2013. 336 с.
Pankov K. N. Improved asymptotic estimates for the numbers of correlation-immune and k-resilient vectorial Boolean functions // Discr. Math. Appl. 2019. No. 3. P. 195-213.
Панков К. Н. Асимптотические оценки для чисел двоичных отображений с заданными криптографическими свойствами // Математические вопросы криптографии. 2014. №4. С. 73-97.
Carlet C. Vectorial Boolean functions for cryptography // Boolean Models and Methods in Mathematics, Computer Science, and Engineering. Encyclopedia of Mathematics and its Applications. V. 134. N.Y.: Cambridge University Press, 2010. P. 398-472.
Панков К. Н. Рекуррентные формулы для числа k-эластичных и корреляционно-иммунных двоичных отображений // Прикладная дискретная математика. Приложение. 2019. № 12. С. 62-66.
Панков К. Н. Уточнённые асимптотические оценки для числа корреляционно-иммунных двоичных функций и отображений // Прикладная дискретная математика. Приложение. 2018. №11. С. 49-52.
Панков К. Н. Уточнённые асимптотические оценки для числа (n, m, к)-устойчивых двоичных отображений // Прикладная дискретная математика. Приложение. 2017. №10. С. 46-49.
Potapov V. N. A lower bound on the number of boolean functions with median correlation immunity // 16th Int. Symp. “Problems of redundancy in information and control systems”, Moscow, Russia, 2019. P. 45-46.
Canfield E. R., Gao Z., Greenhill C., et al. Asymptotic enumeration of correlation-immune Boolean functions // Cryptogr. Commun. 2010. No. 1. P. 111-126.
Денисов О. В. Локальная предельная теорема для распределения части спектра случайной двоичной функции // Дискретная математика. 2000. №1. С. 82-95.
Денисов О. В. Асимптотическая формула для числа корреляционно-иммунных порядка k булевых функций // Дискретная математика. 1991. №2. С. 25-46.
Логачев О. А., Сальников А. А., Смышляев С. В., Ященко В. В. Булевы функции в теории кодирования и криптологии. М.: МЦНМО, 2012.
Pankov K. Enumeration of Boolean mapping with given cryptographic properties for personal data protection in Blockchain Data Storage // Proc. 24th Conf. Open Innovations Assoc. FRUCT, Moscow, Russia, 2019. P. 300-306.
Елистратов А., Маршалко Г. Б., Светушкин В. Подводные камни сертификации блок-чейн-решений // Открытые системы. СУБД. 2019. №1. С. 19.
Колонка MINDSMITH: Блокчейн в зените лета. 6 августа 2020 года. https://ict.moscow/news/blockchain-trends-mindsmith/
Блокчейн-революция в банках и финансовых институтах. Отчет. М.: MINDSMITH, 2020. https://mindsmith.io/blockchain-finance/
МР 26.4.001-2018 «Термины и определения в области технологий цепной записи данных (блокчейн) и распределенных реестров» М.: Технический комитет по стандартизации «Криптографическая защита информации», 2018. 10 с.
 Улучшенные оценки для числа k-эластичных и корреляционноиммунных двоичных отображений | Прикладная дискретная математика. Приложение. 2021. № 14. DOI: 10.17223/2226308X/14/8

Улучшенные оценки для числа k-эластичных и корреляционноиммунных двоичных отображений | Прикладная дискретная математика. Приложение. 2021. № 14. DOI: 10.17223/2226308X/14/8