Distributed Transition Systems with Tags for Privacy Analysis.

Siva Anantharaman Sabine Frittella Benjamin Nguyen

Published in: CoRR (2022)

Keyphrases

transition systems
privacy preserving