Análise de cerimônias no sistema de votação Helios

Abstract

Protocolos são desenvolvidos para atender às demandas humanas. Cerimônias incorporam o agente humano à já conhecida estrutura dos protocolos, analisando também a comunicação humano para humano, além da comunicação humano para máquina, o que aumenta a complexidade de sua análise em relação aos protocolos (que só envolvem a comunicação máquina para máquina). Conhecendo os riscos que envolvem os sistemas, é possível amenizar a sua imprevisibilidade e promover a segurança nesse meio, através dos modelos de verificação de cerimônia. Objetivos: Ressaltar a importância do emprego de cerimônias na avaliação da segurança de um sistema; Demonstrar as ameaças presentes nos meios de comunicação das aplicações de uso cotidiano; Analisar um sistema real usando verificação de cerimônia para detecção de fatores de risco presentes.