%0 Conference Paper %1 GHJL00-Epi %A Godefroid, Patrice %A Herbsleb, James D. %A Jagadeesany, Lalita Jategaonkar %A Li, Du %B Proceedings of the 2000 ACM conference on Computer supported cooperative work %C Philadelphia, Pennsylvania, United States %D 2000 %I ACM %K computer-supported_cooperative_work coordination masterarbeit presence_awareness privacy security verification %P 59--68 %R 10.1145/358916.358963 %T Ensuring privacy in presence awareness: an automated verification approach %U http://portal.acm.org/citation.cfm?id=358916.358963&type=series %X Providing information about other users and their activites is a central function of many collaborative applications. The data that provide this "presence awareness" are usually automatically generated and highly dynamic. For example, services such as AOL Instant Messenger allow users to observe the status of one another and to initiate and participate in chat sessions. As such services become more powerful, privacy and security issues regarding access to sensitive user data become critical. Two key software engineering challenges arise in this context: %@ 1-58113-222-0

@inproceedings{GHJL00-Epi, abstract = {Providing information about other users and their activites is a central function of many collaborative applications. The data that provide this "presence awareness" are usually automatically generated and highly dynamic. For example, services such as {AOL} Instant Messenger allow users to observe the status of one another and to initiate and participate in chat sessions. As such services become more powerful, privacy and security issues regarding access to sensitive user data become critical. Two key software engineering challenges arise in this context:}, added-at = {2010-06-13T21:13:32.000+0200}, address = {Philadelphia, Pennsylvania, United States}, author = {Godefroid, Patrice and Herbsleb, James D. and Jagadeesany, Lalita Jategaonkar and Li, Du}, biburl = {https://www.bibsonomy.org/bibtex/2ee973b8c2d07af90fb15a68910e74115/pilpul}, booktitle = {Proceedings of the 2000 {ACM} conference on Computer supported cooperative work}, description = {Masterarbeit}, doi = {10.1145/358916.358963}, interhash = {3b0a011c321ffd22a6882432075ad5bf}, intrahash = {ee973b8c2d07af90fb15a68910e74115}, isbn = {1-58113-222-0}, keywords = {computer-supported_cooperative_work coordination masterarbeit presence_awareness privacy security verification}, pages = {59--68}, publisher = {{ACM}}, shorttitle = {Ensuring privacy in presence awareness}, timestamp = {2010-06-13T21:13:35.000+0200}, title = {{Ensuring privacy in presence awareness: an automated verification approach}}, url = {http://portal.acm.org/citation.cfm?id=358916.358963&type=series}, year = 2000 }