Social Control and Interactivity in Anonymous Public Events

Rahman, Mushfekur

Social Control and Interactivity in Anonymous Public Events

dc.contributor.advisor	Fong, Philip W. L.
dc.contributor.author	Rahman, Mushfekur
dc.contributor.committeemember	Fong, Philip W. L.
dc.contributor.committeemember	Safavi-Naini, Reihaneh
dc.contributor.committeemember	De Carli, Lorenzo
dc.date	2024-11
dc.date.accessioned	2024-09-10T19:01:23Z
dc.date.available	2024-09-10T19:01:23Z
dc.date.issued	2024-09-05
dc.description.abstract	Online event hosting platforms, such as Zoom Meetings and Twitch Streams, have revolutionized the way we socialize with one another. These platforms offer a rich set of interactive features such as live chat and gestures, enabling dynamic and engaging social events. In public events, however, participants are not well-known entities originating from the same institution, and thus traditional access control fails to provide means for maintaining order without disrupting interactivity. Zoombombing and cyberbullying in Twitch streams are symptoms of this dilemma. The design of the aforementioned event hosting systems thus resort to social control mechanisms that allow moderators to monitor the social interactions of the participants and respond to disorderly behavior in real time. The designer of an event hosting system needs to make sure that social control mechanisms preserve interactivity expectations. In this work, we introduce HIPE (Highly Interactive Public Event), a framework for modelling social control mechanisms, articulating interactivity expectations, as well as verifying if social control interferes with interactivity. We catalogued four classes of social control mechanisms that can be reused in the design of event hosting systems, namely sanction, remedy, containment, and retaliation. Additionally, we formulated a 2-safety hyperproperty characterization of interactivity called (a, p)-interactivity and a stricter version, strong (a, p)-interactivity, to express the degree of interactivity expected of an event hosting system. Furthermore, we designed model checking algorithms for verifying both (a, p)-interactivity and strong (a, p)-interactivity. An empirical case study has been conducted to illustrate the interplay between social control and interactivity, as well as to evaluate the performance of our model checking algorithm. To the best of our knowledge this is the first work to formally study the balancing of social control and interactivity in anonymous public events.
dc.identifier.citation	Rahman, M. (2024). Social control and interactivity in anonymous public events (Master's thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca.
dc.identifier.uri	https://hdl.handle.net/1880/119661
dc.language.iso	en
dc.publisher.faculty	Graduate Studies
dc.publisher.institution	University of Calgary
dc.rights	University of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission.
dc.subject	Zoombombing
dc.subject	Anonymous Public Events
dc.subject	Cyberbullying
dc.subject	Access Control
dc.subject	Model Checking
dc.subject	Formal Verification
dc.subject	Social Control
dc.subject	Interactivity
dc.subject	Hyperproperty
dc.subject	Causality
dc.subject	Noninterference
dc.subject	Hypersafety
dc.subject	2-Safety Hyperproperty
dc.subject	Nested Depth First Search Algorithm
dc.subject	Safety-Progress
dc.subject	Small Model Property
dc.subject.classification	Computer Science
dc.title	Social Control and Interactivity in Anonymous Public Events
dc.type	master thesis
thesis.degree.discipline	Computer Science
thesis.degree.grantor	University of Calgary
thesis.degree.name	Master of Science (MSc)
ucalgary.thesis.accesssetbystudent	I do not require a thesis withhold – my thesis will have open access and can be viewed and downloaded publicly as soon as possible.