Autómatos Temporizados Como Ferramenta de Verificação de Protocolos de Segurança: Uma Análise Sobre um Estudo de Caso (in Portuguese) - Burcu KÜLahÇIoğlu
Physical Book
£ 52.18
Free UK Delivery
Choose the list to add your product or create one New List
Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between Tuesday, June 25 and Thursday, July 11.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Autómatos Temporizados Como Ferramenta de Verificação de Protocolos de Segurança: Uma Análise Sobre um Estudo de Caso (in Portuguese)
Burcu KÜLahÇIoğlu
Synopsis "Autómatos Temporizados Como Ferramenta de Verificação de Protocolos de Segurança: Uma Análise Sobre um Estudo de Caso (in Portuguese)"
Os autómatos temporizados são uma extensão da abordagem teórico-automática da modelação de sistemas em tempo real que introduz o tempo nos autómatos clássicos. Desde que foi proposto pela primeira vez no início dos anos noventa, tornou-se uma importante área de investigação e foi amplamente estudado tanto no contexto das línguas formais como na modelação e verificação de sistemas em tempo real. Os autómatos temporizados utilizam a modelação densa do tempo, permitindo a verificação eficiente de modelos de sistemas sensíveis ao tempo cujo correcto funcionamento depende das propriedades do tempo. Uma destas áreas de aplicação é a verificação dos protocolos de segurança. Este livro centra-se no modelo de autómatos temporizados e utiliza-o como uma ferramenta de verificação de protocolos de segurança. Como estudo de caso, o Neuman-Stubblebine Repeated Authentication Protocol é modelado e verificado empregando as propriedades sensíveis ao tempo no modelo. As falhas do protocolo são analisadas e é comentado sobre os benefícios e desafios do modelo.