Login / Signup

A process calculus for privacy-preserving protocols in location-based service systems.

Kai BavendiekSibylle Schupp
Published in: J. Log. Algebraic Methods Program. (2022)
Keyphrases