Run Time Monitoring for Privacy Compliance - Archive ouverte HAL Access content directly
Conference Papers Year : 2007

Run Time Monitoring for Privacy Compliance


This paper addresses the problem of monitoring the compliance of privacy agreement that spells out a consumer's privacy rights and how consumer private information must be handled by the service provider. A state machine based model is proposed to describe the Private Data Use Flow (PDUF) toward monitoring which can be used by privacy analyst to observe the flow and capture privacy vulnerabilities that may lead to non-compliance. The model is built on top of (i) properties and timed-related privacy requirements to be monitored that are specified using LTL (Linear Temporal logic) (ii) a set of identified privacy misuses.

Dates and versions

hal-01586821 , version 1 (13-09-2017)



Salima Benbernou, Hassina Meziane, Mohand-Said Hacid. Run Time Monitoring for Privacy Compliance. International Conference on Service-Oriented Computing, ICSOC'07, Sep 2007, Vienne, Austria. pp.353-364, ⟨10.1007/978-3-540-74974-5_29⟩. ⟨hal-01586821⟩
48 View
0 Download



Gmail Facebook Twitter LinkedIn More