Results 31 to 40 of about 4,395 (284)
Sharenting on Instagram and Children's Privacy Gatekeeping [PDF]
مطالعات رسانههای نوین, 2022 This study aims to identify parents’ motivations to do sharenting on Instagram. Also, it studies the way that parents feel responsible about the different examples of children’s privacy violations on this social media site. Different types of sharenting,
Seyed Mohamad Mahdizadeh Taleshi +1 more
doaj +1 more source
Trace Equivalence Decision: Negative Tests and Non-determinism [PDF]
, 2011 We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-type properties, like anonymity, vote-privacy, and unlinkability.
Hubert Comon-Lundh +5 more
core +1 more source
APTE: An Algorithm for Proving Trace Equivalence [PDF]
, 2014 This paper presents APTE, a new tool for automatically proving the security of cryptographic protocols. It focuses on proving trace equivalence between processes, which is crucial for specifying privacy type properties such as anonymity and unlinkability.
Cheval, Vincent, Vincent Cheval
core +1 more source
The Cpi-calculus: a Model for Confidential Name Passing [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Sharing confidential information in distributed systems is a necessity in many applications, however, it opens the problem of controlling information sharing even among trusted parties.
Ivan Prokić
doaj +1 more source
Attention Paid to Privacy Policy Statements
Information, 2021 The article deals with the topic of attention paid to online privacy policy statements by university students. Privacy policy statements were originally intended to mitigate the users’ privacy con-cerns and support trust, but users disregard them.
Tomáš Sigmund
doaj +1 more source
Verifying Privacy-Type Properties in a Modular Way [PDF]
, 2012 Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlink ability) that play an important role in many modern applications are formalised ...
Arapinis, M.; id_orcid +8 more
core +1 more source
Deciding equivalence-based properties using constraint solving [PDF]
, 2013 Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy or authentication.
Véronique Cortier +5 more
core +1 more source
Lengths May Break Privacy – Or How to Check for Equivalences with Length [PDF]
, 2013 Security protocols have been successfully analyzed using symbolic models, where messages are represented by terms and protocols by processes. Privacy properties like anonymity or untraceability are typically expressed as equivalence between processes ...
Véronique Cortier +5 more
core +1 more source
A Privacy Calculus Perspective [PDF]
, 2023 Sandhu, R. K., Vasconcelos-Gomes, J., Thomas, M. A., & Oliveira, T. (2023). Unfolding the Popularity of Video Conferencing Apps: A Privacy Calculus Perspective. International Journal Of Information Management, 68(February), 1-17. [102569].
Oliveira, Tiago +3 more
core +1 more source
Information, 2022 Interaction is the main feature of social media, while in recent years, frequent privacy disclosure events of the social media user affect users’ privacy disclosure behavior.
Xiaogang Zhu, Qianqian Cao, Chunnian Liu
doaj +1 more source