More Web Proxy on the site http://driver.im/

Article

Free access

Ensuring privacy in presence awareness: an automated verification approach

Authors:

Patrice Godefroid,

James D. Herbsleb,

Lalita Jategaonkar Jagadeesany,

Du LiAuthors Info & Claims

CSCW '00: Proceedings of the 2000 ACM conference on Computer supported cooperative work

Pages 59 - 68

https://doi.org/10.1145/358916.358963

Published: 01 December 2000 Publication History

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:

Policies regarding access to data in collaborative applications have subtle complexities, and must be easily modifiable during a collaboration.

Users must be able to have a high degree of confidence that the implementations of these policies are correct.

In this paper, we propose a framework that uses an automated verification approach to ensure that such systems conform to complex policies. Our approach takes advantage of VeriSoft, a recent tool for systematically testing implementations of concurrent systems, and is applicable to a wide variety of specification and development platforms for collaborative applications. we illustrate the key features of our framework by applying it to the development of a presence awareness system.

References

[1]

G. D. Abowd. Software engineering issues for ubiquitous computing. In International Conference on Software Engineering, 1999.

Digital Library

[2]

B. Alpern and F. B. Schneider. Recognizing safety and liveness. Distributed Computing, 2:117-126, 1987.

Digital Library

[3]

V. Bellotti, A. Blandford, D. Duke, A. MacLean, J. May, and L. Nigay. Interpersonal access control in computermediated communications: A systematic analysis of the design space. Human-Computer Interaction, 11:357- 432, 1996.

Digital Library

[4]

A. Bullock and S. Benford. An access control framework for multi-user collaborative environments. In Proceedings GROUP '99, pages 140-149, Phoenix, AZ, November 1999.

Digital Library

[5]

R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench: A semantics based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 1(15):36-72, 1993.

Digital Library

[6]

C. Colby, L. J. Jagadeesan, R. Jagadeesan, K. L~aufer, and C. Puchol. Objects and concurrency in Triveni: A telecommunication case study in Java. In 4th USENIX Conference on Object Oriented Technologies and Systems, April 1998.

Digital Library

[7]

W. K. Edwards. Policies and roles in collaborative applications. In Proc. of ACM Conf. on CSCW, 1996.

Digital Library

[8]

J. Fernandez, H. Garavel, L. Mounier, A. Rasse, C. Rodriguez, and J. Sifakis. A toolbox for the verification of LOTOS programs. In International Conference on Software Engineering, May 1992.

Digital Library

[9]

L. Fuchs. Area: A cross-application notification service for groupware. In Proceedings of the Sixth European Conference on Computer-supported Cooperative Work, pages 61-80, Copenhagen, Denmark, September 1999.

Digital Library

[10]

B. Gaver, T. Moran, A. MacLean, L. Levstrand, P. Dourish, K. Carter, and B. Buxton. Realizing a video environment: Europarc's rave system. In Conference on Human Factors in Computing Systems, 1992.

Digital Library

[11]

P. Godefroid. Model Checking for Programming Languages using VeriSoft. In ACM Symposium on Principles of Programming Languages, pages 174-186, January 1997.

Digital Library

[12]

P. Godefroid, R. S. Hanmer, and L. J. Jagadeesan. Model Checking Without a Model: An Analysis of the Heart- Beat Monitor of a Telephone Switch using VeriSoft. In ACM SIGSOFT International Symposium on Software Testing and Analysis, March 1998.

Digital Library

[13]

J. Grudin. Why cscw applications fail: Problems in the design and evaluation of organizational interfaces. In Conference on Computer-Supported Cooperative Work CSCW '88, 1988.

Digital Library

[14]

J. D. Herbsleb and R. E. Grinter. Architectures, coordination, and distance: Conway's law and beyond. IEEE Software, pages 63-70, Sept/Oct 1999.

Digital Library

[15]

D. Hindus, M. S. Ackerman, S. Mainwaring, and B. Starr. Thunderwire: A field study of an audioonly media space. In Computer Supported Cooperative Work, 1996.

Digital Library

[16]

G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.

Digital Library

[17]

S. E. Hudson and I. Smith. Techniques for addressing fundamental privacy and disruption tradeoffs in awareness support systems. In Computer Supported Cooperative Work, 1996.

Digital Library

[18]

D. Li and R. R. Muntz. Coca: Collaborative objects coordination architecture. In Proceedings of ACM CSCW, Nov. 1998.

Digital Library

[19]

D. Li and R. R. Muntz. A collaboration specification language. In Proceedings of the 2nd USENIX Conference on Domain Specific Languages, Oct 1999.

Digital Library

[20]

Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems, Specification. Springer- Verlag, 1992.

Digital Library

[21]

M. Mantei, R. Baecker, A. Sellen, W. Buxton, T. Milligan, and B. Wellman. Experience in the use of a media space. In Proceedings of the CHI'91 Conference on Human Factors in Computing Systems, pages 203-208, 1991.

Digital Library

[22]

S. E. McDaniel, G. M. Olson, and J. C. Magee. Identifying and analyzing multiple threads in computermediated and face-to-face conversations. In Computer Supported Cooperative Work, 1996.

Digital Library

[23]

T. Nomura, K. Hayashi, T. Hazama, and S. Gudmundson. Interlocus: Workspace configuration mechanisms for activity awareness. In Computer Supported Cooperative Work, 1998.

Digital Library

[24]

L. Palen. Social, individual, and technological issues for groupware calendar systems. In CHI'99, 1999.

Digital Library

[25]

W. Prinz. Nessie: An awareness environment for cooperative settings. In European Conference on Computer Supported Cooperative Work, 1999.

Digital Library

[26]

R. S. Sandhu, E. J. Coyne, H. L. Feinstein, and C. E. Youman. Role-based access control models. IEEE Computer, 29(2):38-47, Feb. 1996.

Digital Library

[27]

H. Shen and P. Dewan. Access control for collaborative systems. In Proc. of ACM Conf. on CSCW, 1992.

Digital Library

[28]

M. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In First Symposium on Logic in Computer Science, pages 322-331, June 1986.

[29]

R. Want, A. Hopper, V. Falcao, and J. Gibbons. The active badge location system. ACM Transactions on Information Systems, 10(1):91-102, 1992.

Digital Library

[30]

E. Zaret. Upstart in the instant messager war. MSNBC, 1999.

[31]

Q. A. Zhao and J. T. Stasko. Evaluating image filtering based techniques in media space applications. In Proceedings of ACM CSCW, Nov 1998.

Digital Library

Cited By

Cho SSuh BLee JBietz MWiggins A(2020)Not Too Much, Nor Too LessCompanion Publication of the 2020 Conference on Computer Supported Cooperative Work and Social Computing10.1145/3406865.3418308(239-243)Online publication date: 17-Oct-2020
https://dl.acm.org/doi/10.1145/3406865.3418308
Poguntke RMantz THassib MSchmidt ASchneegass S(2019)Smile to MeProceedings of Mensch und Computer 201910.1145/3340764.3340795(373-385)Online publication date: 8-Sep-2019
https://dl.acm.org/doi/10.1145/3340764.3340795
Robert LGergle DMorris MBjørn PKonstan J(2016)Monitoring and Trust in Virtual TeamsProceedings of the 19th ACM Conference on Computer-Supported Cooperative Work & Social Computing10.1145/2818048.2820076(245-259)Online publication date: 27-Feb-2016
https://dl.acm.org/doi/10.1145/2818048.2820076
Show More Cited By

Index Terms

Ensuring privacy in presence awareness: an automated verification approach

Recommendations

Coordination challenges in a computer-supported meeting environment
Special issue: Organizational impact of group support systems, expert systems, and executive information systems

In this study we observed the coordination activities of groups collaboratively writing in a low-structure computer-supported meeting room. We used video analyses of the sessions to identify well-coordinated and poorly coordinated groups. Through user ...
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract)

Differential privacy is a promising approach to privacy preserving data analysis with a well-developed theory for functions. Despite recent work on implementing systems that aim to provide differential privacy, the problem of formally verifying that ...
Measuring Awareness in Cross-Team Collaborations -- Distance Matters
ICGSE '13: Proceedings of the 2013 IEEE 8th International Conference on Global Software Engineering

Developing and maintaining team awareness within and across teams working in the same project helps team members in aligning their activities and facilitates implicit coordination. This requires both task and presence awareness. In this paper, we share ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

CSCW '00: Proceedings of the 2000 ACM conference on Computer supported cooperative work

December 2000

346 pages

ISBN:1581132220

DOI:10.1145/358916

Chairmen:
Wendy Kellogg
IBM T. J. Watson Research Center
,
Steve Whittaker
AT&T Labs-Research

Copyright © 2000 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 2000

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

CSCW00

Sponsor:

CSCW00: Computer Supported Cooperative Work

Pennsylvania, Philadelphia, USA

Acceptance Rates

CSCW '00 Paper Acceptance Rate 36 of 199 submissions, 18%;

Overall Acceptance Rate 2,235 of 8,521 submissions, 26%

Upcoming Conference

CSCW '25

Sponsor:
sigchi

Computer-Supported Cooperative Work and Social Computing

October 18 - 22, 2025

Bergen , Norway

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

27
Total Citations
View Citations
1,313
Total Downloads

Downloads (Last 12 months)75
Downloads (Last 6 weeks)5

Reflects downloads up to 20 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Cho SSuh BLee JBietz MWiggins A(2020)Not Too Much, Nor Too LessCompanion Publication of the 2020 Conference on Computer Supported Cooperative Work and Social Computing10.1145/3406865.3418308(239-243)Online publication date: 17-Oct-2020
https://dl.acm.org/doi/10.1145/3406865.3418308
Poguntke RMantz THassib MSchmidt ASchneegass S(2019)Smile to MeProceedings of Mensch und Computer 201910.1145/3340764.3340795(373-385)Online publication date: 8-Sep-2019
https://dl.acm.org/doi/10.1145/3340764.3340795
Robert LGergle DMorris MBjørn PKonstan J(2016)Monitoring and Trust in Virtual TeamsProceedings of the 19th ACM Conference on Computer-Supported Cooperative Work & Social Computing10.1145/2818048.2820076(245-259)Online publication date: 27-Feb-2016
https://dl.acm.org/doi/10.1145/2818048.2820076
Shafiei NBreugel FRungta NTkachuk O(2014)Automatic handling of native methods in Java PathFinderProceedings of the 2014 International SPIN Symposium on Model Checking of Software10.1145/2632362.2632363(97-100)Online publication date: 21-Jul-2014
https://dl.acm.org/doi/10.1145/2632362.2632363
Stuart HDabbish LKiesler SKinnaird PKang RPoltrock SSimone CGrudin JMark GRiedl J(2012)Social transparency in networked information exchangeProceedings of the ACM 2012 conference on Computer Supported Cooperative Work10.1145/2145204.2145275(451-460)Online publication date: 11-Feb-2012
https://dl.acm.org/doi/10.1145/2145204.2145275
Röcker C(2012)Universal access to awareness information: using smart artefacts to mediate awareness in distributed teamsUniversal Access in the Information Society10.1007/s10209-011-0237-911:3(259-271)Online publication date: 1-Aug-2012
https://dl.acm.org/doi/10.1007/s10209-011-0237-9
Steinmacher IChaves AGerosa M(2010)Awareness support in global software developmentProceedings of the 16th international conference on Collaboration and technology10.5555/1887532.1887552(185-201)Online publication date: 20-Sep-2010
https://dl.acm.org/doi/10.5555/1887532.1887552
Syukur EWai Loke S(2010)MHS: a context‐enabled regulated framework for pervasive servicesInternational Journal of Pervasive Computing and Communications10.1108/174273710110332806:1(47-87)Online publication date: 6-Apr-2010
https://doi.org/10.1108/17427371011033280
Li LChou W(2010)Efficient Authorization of Rich Presence Using Secure and Composed Web ServicesWeb Information Systems and Technologies10.1007/978-3-642-12436-5_4(44-57)Online publication date: 2010
https://doi.org/10.1007/978-3-642-12436-5_4
Rutherford ABotha R(2008)Towards Enhanced Presence FilteringProceedings of the 2008 12th Enterprise Distributed Object Computing Conference Workshops10.1109/EDOCW.2008.61(159-166)Online publication date: 16-Sep-2008
https://dl.acm.org/doi/10.1109/EDOCW.2008.61
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents