Modeling of Personalized Privacy Disclosure Behavior: A Formal Method Approach

06/18/2021
by   A K M Nuhil Mehdy, et al.
0

In order to create user-centric and personalized privacy management tools, the underlying models must account for individual users' privacy expectations, preferences, and their ability to control their information sharing activities. Existing studies of users' privacy behavior modeling attempt to frame the problem from a request's perspective, which lack the crucial involvement of the information owner, resulting in limited or no control of policy management. Moreover, very few of them take into the consideration the aspect of correctness, explainability, usability, and acceptance of the methodologies for each user of the system. In this paper, we present a methodology to formally model, validate, and verify personalized privacy disclosure behavior based on the analysis of the user's situational decision-making process. We use a model checking tool named UPPAAL to represent users' self-reported privacy disclosure behavior by an extended form of finite state automata (FSA), and perform reachability analysis for the verification of privacy properties through computation tree logic (CTL) formulas. We also describe the practical use cases of the methodology depicting the potential of formal technique towards the design and development of user-centric behavioral modeling. This paper, through extensive amounts of experimental outcomes, contributes several insights to the area of formal methods and user-tailored privacy behavior modeling.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/22/2019

From Data Disclosure to Privacy Nudges: A Privacy-aware and User-centric Personal Data Management Framework

Although there are privacy-enhancing tools designed to protect users' on...
research
12/29/2020

Hybrid Interest Modeling for Long-tailed Users

User behavior modeling is a key technique for recommender systems. Howev...
research
09/07/2021

Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation

The Hadoop scheduler is a centerpiece of Hadoop, the leading processing ...
research
07/16/2023

Formal Verification Of A Shopping Basket Application Model Using PRISM

Formal verification is at the heart of model validation and correctness....
research
02/12/2022

Modeling User Behavior with Graph Convolution for Personalized Product Search

User preference modeling is a vital yet challenging problem in personali...
research
11/02/2017

Formal Analysis of Hybrid Systems Using Feature Indented Assertions

Model based design is a recommended step in the design of embedded contr...
research
07/29/2021

Counterexample Classification

In model checking, when a given model fails to satisfy the desired speci...

Please sign up or login with your details

Forgot password? Click here to reset