Стандарт IEEE 1609.2: защита информации в сетях V2X
Вступление
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/b76/90a/baf/b7690abaf9ef47c890787ea122a0fd39.png)
В настоящее время интеллектуальные транспортные системы (англ.: Intelligent Transport Systems, ITS) активно развиваются. Их функционирование невозможно без создания телекоммуникационных систем, позволяющих транспортным средствам обмениваться информацией со внешними устройствами (англ. Vehicle-to-Everything, V2X). Транспортные средства накапливают информацию посредством различных сенсоров, радаров, лидаров и камер. Для обеспечения автономного вождения и передвижения машин в плотном строю (так называемый platooning) необходимо обеспечивать обмен этой информацией между различными транспортными средствами. Обмен информацией может также осуществляться с элементами дорожной инфраструктуры, что позволяет обеспечивать большую безопасность движения посредством передачи объектами инфраструктуры предупреждающих сообщений. Кроме того, существует большое число других приложений, которые обеспечивают удобство вождения и безопасность, а также уменьшают число пробок и предоставляют различные развлекательные сервисы. Разнообразные приложения порождают различные требования на задержки, надёжность и скорость беспроводной передачи данных. Однако кроме требований на производительность сети во многих случаях важно, чтобы передаваемые данные были защищены. В этой статье я хотел бы дать краткий обзор основных механизмов стандарта IEEE 1609.2, который описывает методы защиты информации в транспортных сетях, построенных по технологии Wi-Fi.
DSRC телекоммуникации
На данный момент одним из самых распространённых способов коммуникации в V2X является выделенная связь на короткие расстояния (англ.: Dedicated Short Range Communications, DSRC), для обеспечения которой используется набор стандартов беспроводной связи в транспортной среде: стандарты IEEE 1609 и IEEE 802.11p. Комитетом IEEE был выпущен специальный гайд, в котором они детально описаны. Заинтересовавшиеся могут найти его по ссылке.
![Набор стандартов для DSRC Набор стандартов для DSRC](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/1e4/50f/781/1e450f781c81dffad84833335960cbd1.gif)
Стандарт IEEE 802.11p описывает работу физического и основной части MAC уровня модели OSI в диапазоне частот 5,9 ГГц (и 60 ГГц опционально). Как видно, этот диапазон частот отличается от частот, на которых работает "классический Wi-Fi": 2,4 ГГц и 5 ГГц. "Классические" частоты являются нелицензируемыми, и это приводит к их зашумлённости передачами устройств, работающих по другим стандартам, что крайне нежелательно для транспортных сетей, которые сделаны в частности для поддержки приложений, обеспечивающих безопасность дорожного движения. В свою очередь, диапазон частот в 5,9 ГГц является бесплатным и лицензированным в том плане, что в этом диапазоне могут работать только устройства, использующие определённый набор стандартов. Стандарт IEEE 1609.4 описывает многоканальные методы доступа к среде, которые позволяют поочерёдно передавать сразу в двух каналах, например, канале для передачи данных и канале для контрольных сообщений. IEEE 1609.3 описывает WSMP (Wave Short Message Protocol), который является альтернативой протоколам TCP/UDP и IP на транспортном и сетевом уровне соответственно. Также стандарт IEEE 1609.3 выполняет некоторые другие функции, например, выбор канала для передачи данных. Стандарт IEEE 1609.2 описывает методы обеспечения безопасной передачи данных и именно ему я хотел бы уделить внимание в данной статье.
Основные положения IEEE 1609.2
Стандарт IEEE 1609.2 основывается на асимметричной криптографии и в частности описывает методы шифрования сообщений и методы создания цифровой подписи. Единицей данных для этого стандарта является так называемый SPDU (Secured Protocol Data Unit), который состоит из защищаемых данных и специальных полей для обеспечения защиты информации. IEEE 1609.2 защищает только данные, являющиеся полезной нагрузкой для протокола транспортного уровня. То есть заголовки транспортного, сетевого, LLC, MAC, а тем более физического уровней стандарт IEEE 1609.2 не защищает. Пример пакета, который иллюстрирует местоположение защищаемых данных, представлен на рисунке ниже. Базовая структура SPDU стандарта IEEE 1609.2 представлена здесь под буквой D:
![Местоположение данных, защищаемых стандартом IEEE 1609.2 Местоположение данных, защищаемых стандартом IEEE 1609.2](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/998/5c5/eab/9985c5eab67c9ba82a30b5a7157053af.gif)
Так как трафик в транспортных сетях по большей части является широковещательным, описывать методы шифрования я не буду, так как при шифровании у принимающего устройства есть секретный ключ, известный только ему, а у передающих открытый - расшифровать сообщений может только принимающее устройство, то есть передача должна быть не широковещательной, а по конкретному адресу. Поэтому я сосредоточусь на описании инфраструктуры для криптографии с открытым ключом (англ.: PKI, Public Key Infrastructure) применительно к транспортным сетям и на алгоритме создания и проверки цифровой подписи. Цифровая подпись используется для проверки того, что отправитель сообщения действительно является тем устройством, за которое себя выдаёт, и для проверки того, что данные не были изменены сторонним устройством. Для создания цифровой подписи устройство использует свой секретный ключ и добавляет значение цифровой подписи в специальные поля SPDU. Проверить сообщение на подлинность может любое устройство, которое знает открытый ключ, соответствующий секретному ключу передающего устройства. Так как для проверки цифровой подписи необходимо знать только открытый ключ, то добавлять цифровую подпись можно даже к широковещательным сообщениям, например, к базовым сообщениям приложений безопасности (англ.: Basic Safety Messages, BSM) и к beacon-ам (специальные кадры технологии Wi-Fi, применяемые для обмена служебной информацией). О том как устройства узнают открытый ключ, соответствующий секретному ключу, я расскажу в следующей главе.
Инфраструктура открытых ключей в сетях V2X
Сразу оговорюсь, что далее я буду говорить только о транспортных средствах, поддерживающих процедуру создания и проверки электронной подписи по стандарту IEEE 1609.2, так как на данный момент этот стандарт поддерживают не все транспортные средства. Сперва я хотел бы отметить, что у каждого транспортного средства имеется 2 типа секретных ключей: долгосрочный и краткосрочный. При этом краткосрочных ключей может быть несколько. Долгосрочный секретный ключ выдаётся при производстве транспортного средства по договорённости производителя и властей того региона, где ключ выдавался. Выдаётся он вместе с соответствующим открытым ключом, некоторой технической и идентификационной информацией о транспортном средстве и сертификатом открытого ключа (сертификат содержит открытый ключ и некоторую информацию о владельце соответствующего секретного ключа). Долгосрочный секретный ключ известен только устройству, которому он выдан, и хранится в так называемом аппаратном защитном модуле транспортного средства, из которого секретный ключ не так-то просто достать. Открытый ключ, его сертификат и некоторая идентификационная информация устройства хранятся в сертификационном центре (англ.: Certification Authority, CA), из которого другие устройства могут получить информацию о сертификате и открытом ключе зарегистрированного устройства. Стоит отметить, что во время производства нового транспортного средства оно получает также 2 открытых ключа сертификационного центра: один для проверки электронной подписи сообщений, переданных от CA, а второй на случай, если злоумышленнику удастся узнать первый секретный ключ CA. Если злоумышленнику удастся узнать этот ключ, то CA сможет сменить секретный и открытый ключ, разослав новый открытый ключ всем устройствам и подписав сообщение вторым секретным ключом. Стоит отметить, что время жизни долгосрочного секретного ключа должно быть равно времени жизни транспортного средства или по крайней мере составлять большую часть его жизни.
Теперь я хотел бы пояснить, зачем нужны краткосрочные закрытые ключи. Как я уже говорил, долгосрочный ключ рассчитан на длительное использование, поэтому хотелось бы использовать его нечасто, чтобы у злоумышленника было меньше шансов взломать этот ключ. Для этого используются секретные краткосрочные ключи. Транспортное средство генерирует несколько пар краткосрочных секретных и открытых ключей и отправляет CA сообщение с сертификатами открытых ключей. Сообщение подписывается долгосрочным закрытым ключом. После того как CA получил сертификаты краткосрочных открытых ключей от транспортного средства, он сохраняет их у себя в памяти, и далее эти сертификаты могут получить другие устройства. После отправки сертификатов краткосрочных открытых ключей CA наше устройство начинает подписывать сообщения краткосрочными секретными ключами. Периодически оно меняет свои секретные и соответствующие им открытые ключи. При этом уже использованные закрытые и соответствующие им открытые ключи стираются из памяти и больше не используются. Поэтому устройству периодически нужно генерировать новые пары открытых и закрытых ключей и рассылать соответствующие сертификаты открытых ключей на CA.
Я довольно много говорил об обмене информацией между CA и нашим устройством, но не сказал, как он осуществляется. Для пояснения я приведу следующую картинку:
![Обмен информацией между сертификационным центром и транспортным средством Обмен информацией между сертификационным центром и транспортным средством](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/742/fd4/11b/742fd411b370faffd2e2c9e4cd073fb5.gif)
Транспортные средства обмениваются информацией с CA посредством придорожной инфраструктуры (англ.: Road-Side Unit, RSU). Ранее я писал, что стандарт IEEE 1609.2 защищает только полезную нагрузку транспортного уровня, но не заголовки транспортного уровня и нижележащих уровней модели OSI, что позволяет RSU и другим устройствам, выполняющим роль маршрутизатора, передавать сообщения от транспортного средства к CA и обратно, даже не имея возможности узнать содержимое сообщения (если оно зашифровано, например). То есть обмен информацией между автомобилями и CA осуществляется через RSU.
Теперь я хотел бы описать обмен информацией между транспортными средствами. При отправке радиомодулем автомобиля широковещательного сообщения сущность, отвечающая за безопасность передачи данных, должна прицепить к сообщению электронную подпись и сертификат открытого ключа для проверки этой электронной подписи. При приёме сообщения другое транспортное средство должно сперва проверить, что полученный сертификат зарегистрирован и отмечен как действительный в CA, а затем использовать открытый ключ из сертификата для проверки электронной подписи. Для проверки действительности сертификата при первом его получении нужно направлять запрос в CA. Дальнейшая проверка действительности сертификата может осуществляться посредством его временного сохранения в буфере транспортного средства (то есть устройство на время запоминает, что сертификат действительный).
Стоит отдельно отметить, что CA может не только регистрировать сертификаты, но и отзывать их по истечении срока жизни или по каким-то иным причинам. Так что если злоумышленник захочет сбить систему дорожной безопасности транспортного средства с толку, но сертификат открытого ключа злоумышленника не будет зарегистрирован в CA, то у него ничего не выйдет. Больше информации об инфраструктуре открытых ключей в транспортных сетях можно узнать, например, из статьи №1 или статьи №2, на которых основывается мой рассказ про инфрастурктуру открытых ключей в V2X.
Параметры алгоритма создания электронной подписи и операции на эллиптических кривых
Для создания и проверки электронной подписи в стандарте IEEE 1609.2 используется алгоритм цифровой подписи на основе эллиптических кривых (англ.: Elliptic Curve Digital Signature Algorithm, ECDSA). Здесь я дам его краткое описание. Больше информации об этом алгоритме и криптографии на эллиптических кривых можно найти, например, в этой статье на хабре или в этой научной статье. Алгоритм ECDSA позволяет создать электронную подпись сообщения с помощью закрытого ключа, а затем проверить её с помощью открытого. То есть отправитель должен знать секретный ключ, а все принимающие устройства должны знать открытый ключ. Однако кроме знания одного из двух ключей устройства также должны знать параметры алгоритма. Первыми двумя параметрами алгоритма являются коэффициенты используемой эллиптической кривой. В алгоритме ECDSA используются эллиптические кривые форме Вейерштрасса, под которыми в криптографии подразумевается множество точек (x, y) следующего вида (далее под эллиптической кривой буду подразумевать именно это множество точек):
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/ccb/1a8/a4f/ccb1a8a4fd5ee6a0f2b9a6e849d1c75f.png)
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/c0d/376/b98/c0d376b98e0d3021e58cb8c912bd1881.png)
Здесь - это поле Галуа, состоящее из целых чисел от 0 до p - 1, где p - простое число, либо степень простого числа. В криптографии p выбирают либо простым числом, либо степенью двойки. Числа a и b, являющиеся параметрами эллиптической кривой, также принадлежат
. Дополнительное условие на эти коэффициенты делает эллиптическую кривую применимой в криптографии. Под "0" подразумевается нулевой элемент эллиптической кривой, при прибавлении которого к любому элементу получится тот же самый элемент. Геометрически нулевой элемент - это бесконечно удалённая точка расширенной действительной плоскости. Стоит отметить, что эллиптическая кривая имеет конечное число элементов и при правильном введении операции сложения и взятия обратного элемента становится абелевой группой относительно этой операции сложения. Чтобы геометрически пояснить операцию сложения и взятия обратного элемента, я вставлю сюда картинку, которая иллюстрирует вид эллиптической кривой в
, то есть кривой вида:
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/20f/25c/5a0/20f25c5a09b0d14b2e381cb0c77ff938.png)
![Операция сложения на эллиптической кривой в форме Вейерштрасса Операция сложения на эллиптической кривой в форме Вейерштрасса](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/adc/05a/b75/adc05ab75e51a075aadeb26d3179f91b.png)
Красная кривая - это качественный вид эллиптической кривой, задаваемой уравнением выше. У такой кривой есть ось симметрии, которая в данном случае проходит через ось абсцисс. Ось симметрии позволяет ввести понятие обратного элемента: точка P эллиптической кривой называется обратной к точке M эллиптической кривой, если точка M симметрична точке P относительно оси симметрии нашей эллиптической кривой. Результат сложения симметричных точек M и P определяется следующим образом:
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/e07/2b8/629/e072b86296e5702c704249fcdd78cbe5.png)
Стоит отметить, что на представленном выше рисунке изображена не только сама эллиптическая кривая, но и геометрический смысл операции сложения. Чтобы найти сумму двух разных точек эллиптической кривой, не симметричных относительно оси симметрии этой кривой (на рисунке точки P и Q), необходимо провести через них прямую и найти её точку пересечения с кривой (точка пересечения существует в силу условий на параметры a и b). Тогда суммой точек эллиптической кривой называется точка, обратная к указанной выше точке пересечения. Для нахождения результата сложения некоторой точки эллиптической кривой с самой собой (на рисунке P + P) необходимо провести касательную к этой точке, найти пересечение касательной с эллиптической кривой (пересечения опять-таки существует в силу условий на a и b) и взять точку, обратную к пересечению. Для реализации алгоритма ECDSA на компьютере указанные выше операции сложения необходимо записать в аналитическом виде. Это можно сделать, используя методы аналитической геометрии. Здесь я напишу лишь конечные формулы для сложения точек в полях Галуа. Будьте внимательны! Я не зря выделил последнюю фразу жирным шрифтом. Под делением в полях Галуа я подразумеваю взятие обратного элемента: элемент x поля Галуа называется обратным к элементу y поля Галуа если:
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/46c/55b/879/46c55b8797c3bc712d7976f8921dc711.png)
Для вычисления обратного элемента обычно используется расширенный алгоритм Евклида. С учётом замечания про взятие обратного элемента формула для сложения разных точек и
, не симметричных относительно оси симметрии эллиптической кривой, имеет следующий вид (все!!! операции по модулю p):
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/b9b/11d/552/b9b11d552b1a2170a17e55a07f8b0400.png)
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/32e/b8d/8b1/32eb8d8b1df85663de20c1f3d37a891b.png)
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/1d5/7a3/26c/1d57a326c21d6ca8a778121624da765c.png)
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/b2d/450/57b/b2d45057bd24834fa6459f20fb4bd22a.png)
В свою очередь, формула для сложения точки с самой собой имеет вид:
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/0a4/284/a92/0a4284a9266088d10d6577945c7472fc.png)
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/342/e9d/323/342e9d32358c5487b4b14d9331870f20.png)
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/ec7/d80/149/ec7d80149c5ff6a1affad7e0c4bef23f.png)
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/1b8/c7c/e18/1b8c7ce1839a62992024b3f25b5c3766.png)
Однако a, b и p - это не единственные параметры алгоритма ECDSA. Дело в том, что алгоритм ECDSA работает не на всей эллиптической кривой, а на её циклической подгруппе, образуемой некоторой генерирующей точкой G эллиптической кривой. Все элементы этой подгруппы получаются путём сложения точки G с самой собой некоторое число раз. Порядок этой подгруппы (то есть число элементов в ней) является пятым параметром алгоритма ECDSA. По-другому порядок подгруппы можно определить как наименьшее положительное целое число n такое, что: nG = "0". Последним параметром является так называемый кофактор подгруппы. Он определяется следующим образом:
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/29a/b71/1d1/29ab711d1966e3b82c3bdd90a5b0ce37.png)
Здесь под N подразумевается порядок всей эллиптической кривой, то есть число элементов в ней. В силу так называемой теоремы Лагранжа, n всегда является делителем числа N, так что кофактор определён корректно.
В стандарте IEEE 1609.2 возможно использование лишь определённого набора параметров, для которых нет общеизвестных методов быстрого взлома алгоритма ECDSA (о том, как его можно взломать я расскажу чуть позже). Используемый набор параметров для передающего устройства можно получить вместе с его открытым ключом от CA. Примеры этих наборов можно найти, например, в этой статье в разделе ECDSA.
Алгоритм ECDSA
Теперь перейду к описанию самого алгоритма ECDSA. Этот алгоритм работает не с самим передаваемым сообщением, а с его хэшем. Хэш-функция позволяет преобразовать сообщение произвольной длины в последовательность бит фиксированной длины. При этом данное преобразование выполняется таким образом, что восстановление всех возможных исходных значений сообщения по заданному значению хэша является вычислительно сложной задачей, тогда как вычисление самой хэш-функции можно произвести быстро. Полученную после действия хэш-функции последовательность бит можно интерпретировать как десятичное число в двоичной форме записи. Именно это число используется алгоритмом ECDSA. Если это число получается большим, чем n, то хэш сообщения необходимо урезать. Стандарт IEEE 1609.2 определяет всего 2 допустимые хэш-функции: SHA-256 и SHA-384.
Теперь перейду к описанию процедуры генерации открытого и закрытого ключей. Закрытый ключ d является случайно выбранным элементом поля Галуа, лежащим в интервале [1, n - 1]. Открытый ключ вычисляется из закрытого по следующей формуле (здесь и далее набор параметров алгоритма (p, a, b, G, n, h)):
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/83c/cdf/ad8/83ccdfad820e44a21864530d2ad49d2c.png)
Для вычисления значения открытого ключа по закрытому ключу и генерирующей точке существуют эффективные алгоритмы, позволяющие вычислить открытый ключ быстро. А вот обратная задача, то есть вычисление закрытого ключа по известной генерирующей точке и открытому ключу, считается сложной. Эта задача называется задачей дискретного логарифмирования, и именно на сложности её решения базируется криптографическая стойкость алгоритма ECDSA. Для того чтобы эта задача была по-настоящему сложной и не решалась за приемлемое время на обычных компьютерах, необходимо выбирать большие значения p и n. Например, для одного из специфицируемых стандартом IEEE 1609.2 набора параметров алгоритма ECDSA под названием NIST P-224 параметры p и n имеют следующие значения:
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/dc1/67e/b54/dc167eb5455f0163bc5c5f1da8a0a374.png)
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/d6a/287/c01/d6a287c019b5f2b12f84606810bf972f.png)
Теперь перейду к процедуре генерации электронной подписи алгоритмом ECDSA. Выпишу её в виде алгоритма (m - это исходное сообщение):
1) - Сперва необходимо выбрать случайное число:
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/c18/410/7ad/c184107ade8da87a710507aeb278e7b3.png)
2) - Далее вычисляем точку и число:
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/9ac/af1/7e4/9acaf17e4df1afe611832c4daa7ded46.png)
3) - Если r = 0, то возвращаемся к шагу №1
4) - Затем необходимо вычислить значение:
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/f12/bd8/6a0/f12bd86a0466f3ee0bc9feea0fb8f8f4.png)
5) - Если s = 0, то возвращаемся к шагу №1
6) - Возвращаем сообщение m и пару чисел (r, s)
Процедура проверки электронной подписи выглядит следующим образом:
1) - Проверяем, что:
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/b96/255/553/b962555534053259ff8eaaee2e16d654.png)
2) - Вычисляем значения:
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/c1f/64c/ccc/c1f64ccccfe18ee0ebe1e69c8c78d01d.png)
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/b0c/e31/34d/b0ce3134d9d87faaab2f16bed32da26f.png)
3) - Вычисляем точку:
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/8c9/96c/308/8c996c30868192e03c620cb6f2ec8a47.png)
4) - Подпись действительна тогда и только тогда когда:
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/46f/ade/e53/46fadee53393b02ef3f08279b39d5844.png)
Проверка корректности алгоритма
Теперь проверим корректность этого алгоритма (нестрого). Сперва перепишем P в несколько другом виде, учитывая что :
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/cb5/bfc/a35/cb5bfca3584ea4e4a128bc5bdbd6bc96.png)
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/7c6/d56/a69/7c6d56a69227c7a70d6a265c6a48f5f2.png)
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/0c4/95a/5b2/0c495a5b24d4e205631ab13f6d738195.png)
Учитывая определение и
, получим:
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/35d/d61/704/35dd617042f4dba8ff18dfaeb14616ef.png)
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/5c0/59f/403/5c059f403c44a1ae416799cbd59bbc26.png)
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/8e6/1c2/144/8e61c2144b0798ae7ecf4c75bf99e8d7.png)
Ранее было дано следующее определение:
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/6c0/7de/96a/6c07de96a2883f8cf333a1c69daee8ee.png)
Умножив обе части уравнения на k и поделив на s, мы получим, что:
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/536/4ca/25e/5364ca25e04e42c3a8e0eb8b5576ae41.png)
А это значит, что:
![](https://webcf.waybackmachine.org/web/20201206150303im_/https://habrastorage.org/getpro/habr/upload_files/32c/ace/cb0/32cacecb0691ee5633d5f5209bdb207b.png)
Из написанной выше проверки корректности следует, что посредством этого алгоритма значение r было вычислено двумя способами: на передающем устройстве с помощью закрытого ключа и на принимающем с помощью открытого. Затем 2 значения r были сопоставлены друг с другом.
Заключение
В данной статье были рассмотрены базовые принципы функционирования стандарта IEEE 1609.2, описывающего защиту информации в транспортных сетях, работающих по технологии Wi-Fi. Сперва был рассмотрен набор стандартов для беспроводной связи в транспортных сетях. Затем был сделан обзор методов распределения открытых и генерации секретных ключей в сетях V2X. Далее была описана арифметика криптографии на эллиптических кривых и алгоритм ECDSA, используемый для создания электронной подписи в стандарте IEEE 1609.2. В конце была проверена корректность алгоритма ECDSA.
Комментарии 0
Только полноправные пользователи могут оставлять комментарии. Войдите, пожалуйста.