Login / Signup
Formal Reasoning About Privacy and Trust in Loyalty Systems.
Koen Decroix
Jorn Lapon
Laurens Lemaire
Bart De Decker
Vincent Naessens
Published in:
BIS (Workshops) (2015)
Keyphrases
</>
management system
trust management
complex systems
wireless sensor networks
computer systems
formal methods