Código QR (código de barras bidimensional)

Using TLA+/TLC for modeling and verification of cryptographic protocols

Interacting in open networks carries certain risks. To ensure the information security of network interaction participants, cryptographic protocols (CrP) are used. High levels of security can be achieved through their formal verification. A common formal method for verifying CrP is model checking....

ver descrição completa

Na minha lista:
Principais autores: Maxim V. Neyzov, Egor V. Kuzmin
Formato: Artigo
Idioma:Inglês
Publicado em: Yaroslavl State University 2024-12-01
coleção:Моделирование и анализ информационных систем
Assuntos:
protocol vulnerability
security properties
authentication
needham-schroeder protocol
asymmetric encryption system
formal verification
verification duration
model checking
transition system
protocol model
modeling techniques
generating function
Acesso em linha:https://www.mais-journal.ru/jour/article/view/1898
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registros relacionados