Eugen Zălinescu

Inductive Invariants for Noninterference in Multi-agent Workflows

2018

Our goal is to certify absence of information leaks in multi-agent workflows, such as conference management systems like EasyChair. These workflows can be executed by any number of agents some of which may form coalitions …