On Computer-Assisted Verification of Timed Anonymity of Multi-Agent Systems


A multi-agent system is called anonymous if an adversary who can observe all the occurrences of events from the system cannot determine who is the "actor agent" of the events. Many agent systems such as e-voting or e-cash systems should guarantee the anonymity property because in such systems agents deal with privacy information. Also, the notion of… (More)


2 Figures and Tables

Slides referencing similar topics