Especificação formal de protocolos de segurança

Compartilho aqui um artigo que escrevi para a disciplina de Segurança Lógica que estou cursando atualmente no ITA. A validação formal de protocolos é um tema com que venho tendo contato há algum tempo e sobre o qual possuo bastante curiosidade, uma vez que se a implementação de um protocolo de segurança já não é simples, sua verificação, além de não ser simples, é fundamental para que o protocolo garanta os requisitos de segurança para o fim a que se propõe.

Neste artigo introdutório abordamos o tema da especificação dos protocolos. A verificação ficará para um outro momento. Aguardo comentários e dicas que possam me auxiliar a enteder melhor o tema.

View more documents from fabianmartins.