Лабораторная работа №1.5
Правовое регулирование систем электронного документооборота.
M - документ. Обладатель ключа может вычислить S. (m, s) — электронный документ m, подписанный электронно-цифровой подписью s.
Функция Fk (k - параметр).
Электронно-цифровая подпись с точки зрения математики-информатики. Её правовое регулирование.
Односторонняя функция - это такая функция, для которой по аргументу значение функции вычисляется легко. Обратная задача (решение ууравнения) - вычисление по значению функции аргумента - очень сложная.
Любой документ - некое целое число.
Fk (S) = m
Зная секретный ключ и имея современную технику, если m – очень большое число, часто может не хватать мощности технологий.
В реальных системах используется хэш-функция – преобразование документа (числа) производной длины в документ фиксированной длины.
Первые электронные документы появились в конце 70-х – начале 80-х годов.
Один из первых документов:
1980 г. – положение о всесоюзной магнитно-ленточной патентной службы.
Первый общегосударственный:
1981 г. – документ государственного комитета по науке и технике: «Временные общеотраслевые руководящие указания о придании юридической силы документам, создаваемым средствами вычислительной техники.
1984 г. – ГОСТ «придание юридической силы документам на машинном носителе и машинограмме, создаваемым средствами вычислительной техники».
В то время действовали ГК РСФСР 1964 г., основы гражданского законодательства СССР и республик. Некоторые договоры (в том числе финансовые) требовали письменной формы. Письменный договор – обмен письмами или телеграммами либо единый документ с подписями сторон.
Ст. 160 ГК (1994). Письменная форма сделки:
«Использование при совершении сделок электронной подписи либо иного аналога собственноручной подписи допускается в случаях и в порядке, предусмотренных законом, иными правовыми актами или соглашениями сторон…».
Законодателем не были установлены эти случаи.
Стандарт 34.10 94 в области информационных технологий: процессы формирования и проверки электронно-цифровой подписи. Далее стандарты 34.10 2001, 34.10 2012.
Ст. 434. Форма договора:
«Договор в письменной форме может заключаться путём <…> обмена документа посредством <…> электронной или иной связи, позволяющей достоверно установить, что документ исходит от стороны по договору».
Ст. 847: удостоверение права распоряжения денежными средствами, находящимися на счёте.
Задание: Используя логические элементы И-ИЛИ, И-ИЛИ-НЕ, ИЛИ-НЕ, разработать алгоритмы определения отношений A<B для n-разрядных кодов. В соответствии с алгоритмами построить и тестировать КЛС на элементах ИЛИ-НЕ. Используя отношения равенства A=B и их схемную реализацию на элементах ИЛИ-НЕ построить последовательную схему для отношения неравенства A<B.
Определение A<B для 3-х разрядных кодов на элементах ИЛИ-НЕ: