Rosa Figueiredo

Solving security models with perfect observability

2023 · HAL (Le Centre pour la Communication Scientifique Directe)

Sequential models with perfect observability represent situations in which communication is public and observable by all the agents. Such models are applied within different domains of security, such as intrusion detection, blockchain protocols and wiretap …