Ensuring Privacy in Presence Awareness Systems: An Automated Verification Approach,
Godefroid, P.; Herbsleb, J.D.; Jagadeesan, L.J.; Li, D.
, Computer Supported Cooperative Work, Philadelphia, Pennsylvania, USA, p.59-68
Abstract
Export:
Tagged XML BibTex