Содержание
23 отношения: CL-ATSE, Криптографическая хеш-функция, Криптографический протокол, Криптопровайдер, Канал связи, Ключ (криптография), Конфиденциальность, Конечный автомат, Права доступа, Протокол Диффи — Хеллмана, Проверка моделей, Авторизация, Аппроксимация, Репликация (вычислительная техника), Слабейшее предусловие, Семантика (программирование), Темпоральная логика, Формальная верификация, Электронная подпись, Эпистемическая логика, Итерация (программирование), Информационная безопасность, Информационная модель.
CL-ATSE
CL-Atse (Constraint-Logic-based ATtack SEarcher) — это инструмент, который преобразует любое описание протокола безопасности на языке IF во множество предположений, которое затем может быть проанализировано на наличие атак на протокол.
Посмотреть Формальная верификация криптографических протоколов и CL-ATSE
Криптографическая хеш-функция
Криптографические хеш-функции — это выделенный класс хеш-функций, который имеет определенные свойства, делающие его пригодным для использования в криптографии.
Посмотреть Формальная верификация криптографических протоколов и Криптографическая хеш-функция
Криптографический протокол
Криптографический протокол (Cryptographic protocol) — это абстрактный или конкретный протокол, включающий набор криптографических алгоритмов.
Посмотреть Формальная верификация криптографических протоколов и Криптографический протокол
Криптопровайдер
Криптопровайдер (Cryptography Service Provider, CSP) — это независимый модуль, позволяющий осуществлять криптографические операции в операционных системах Microsoft, управление которым происходит с помощью функций CryptoAPI.
Посмотреть Формальная верификация криптографических протоколов и Криптопровайдер
Канал связи
Канал связи (channel, data line) — система технических средств и среда распространения сигналов для односторонней передачи данных (информации) от отправителя (источника) к получателю (приёмнику).
Посмотреть Формальная верификация криптографических протоколов и Канал связи
Ключ (криптография)
Ключ — это секретная информация, используемая криптографическим алгоритмом при зашифровании/расшифровании сообщений, постановке и проверке цифровой подписи, вычислении кодов аутентичности (MAC).
Посмотреть Формальная верификация криптографических протоколов и Ключ (криптография)
Конфиденциальность
Конфиденциа́льность (от confidentia — доверие) — необходимость предотвращения разглашения, утечки какой-либо информации.
Посмотреть Формальная верификация криптографических протоколов и Конфиденциальность
Конечный автомат
Коне́чный автома́т — абстрактный автомат, число возможных внутренних состояний которого конечно.
Посмотреть Формальная верификация криптографических протоколов и Конечный автомат
Права доступа
Права доступа — совокупность правил, регламентирующих порядок и условия доступа субъекта к объектам информационной системы (информации, её носителям, процессам и другим ресурсам) установленных правовыми документами или собственником, владельцем информации.
Посмотреть Формальная верификация криптографических протоколов и Права доступа
Протокол Диффи — Хеллмана
Протокол Ди́ффи — Хе́ллмана (Diffie-Hellman, DH) — криптографический протокол, позволяющий двум и более сторонам получить общий секретный ключ, используя незащищенный от прослушивания канал связи.
Посмотреть Формальная верификация криптографических протоколов и Протокол Диффи — Хеллмана
Проверка моделей
Проверка моделей (проверка на модели, model checking) — метод автоматической формальной верификации параллельных систем с конечным числом состояний, позволяет проверить удовлетворяет ли заданная модель системы формальным спецификациям.
Посмотреть Формальная верификация криптографических протоколов и Проверка моделей
Авторизация
Авториза́ция (authorization «разрешение; уполномочивание») — предоставление определённому лицу или группе лиц прав на выполнение определённых действий; а также процесс проверки (подтверждения) данных прав при попытке выполнения этих действий.
Посмотреть Формальная верификация криптографических протоколов и Авторизация
Аппроксимация
Аппроксима́ция (от proxima — ближайшая) или приближе́ние — научный метод, состоящий в замене одних объектов другими, в каком-то смысле близкими к исходным, но более простыми.
Посмотреть Формальная верификация криптографических протоколов и Аппроксимация
Репликация (вычислительная техника)
Репликация (replication) — механизм синхронизации содержимого нескольких копий объекта (например, содержимого базы данных).
Посмотреть Формальная верификация криптографических протоколов и Репликация (вычислительная техника)
Слабейшее предусловие
Преобразователи предикатов — расширение логики Флойда-Хоара, сделанное Э. Дейкстрой.
Посмотреть Формальная верификация криптографических протоколов и Слабейшее предусловие
Семантика (программирование)
Сема́нтика в программировании — дисциплина, изучающая формализации значений конструкций языков программирования посредством построения их формальных математических моделей.
Посмотреть Формальная верификация криптографических протоколов и Семантика (программирование)
Темпоральная логика
Темпоральная логика (temporal logic) — это логика, в высказываниях которой учитывается временной аспект.
Посмотреть Формальная верификация криптографических протоколов и Темпоральная логика
Формальная верификация
Формальная верификация или формальное доказательство — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию.
Посмотреть Формальная верификация криптографических протоколов и Формальная верификация
Электронная подпись
Электро́нная по́дпись (ЭП), Электро́нная цифровая по́дпись (ЭЦП), Цифровая подпись (ЦП) — реквизит электронного документа, полученный в результате криптографического преобразования информации с использованием закрытого ключа подписи и позволяющий проверить отсутствие искажения информации в электронном документе с момента формирования подписи (целостность), принадлежность подписи владельцу сертификата ключа подписи (авторство), а в случае успешной проверки подтвердить факт подписания электронного документа (неотказуемость).
Посмотреть Формальная верификация криптографических протоколов и Электронная подпись
Эпистемическая логика
Эпистемическая логика (от греч. επιστήμη — знание) или логика знаний — подвид модальной логики, имеющий дело с высказываниями о состоянии познания.
Посмотреть Формальная верификация криптографических протоколов и Эпистемическая логика
Итерация (программирование)
Пример итерации Итерация в программировании — организация обработки данных, при которой действия повторяются многократно, не приводя при этом к вызовам самих себя (в отличие от рекурсии).
Посмотреть Формальная верификация криптографических протоколов и Итерация (программирование)
Информационная безопасность
Информационная безопасность (Information Security, а также — InfoSec) — практика предотвращения несанкционированного доступа, использования, раскрытия, искажения, изменения, исследования, записи или уничтожения информации.
Посмотреть Формальная верификация криптографических протоколов и Информационная безопасность
Информационная модель
Пример информационной модели. Информационная модель — модель объекта, представленная в виде информации, описывающей существенные для данного рассмотрения параметры и переменные величины объекта, связи между ними, входы и выходы объекта и позволяющая путём подачи на модель информации об изменениях входных величин моделировать возможные состояния объекта.
Посмотреть Формальная верификация криптографических протоколов и Информационная модель