Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Pardo, Ra��l"'
Disclosure of data analytics results has important scientific and commercial justifications. However, no data shall be disclosed without a diligent investigation of risks for privacy of subjects. Privug is a tool-supported method to explore informati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85bfd8df731604c8f9e3dda976037f7d
http://arxiv.org/abs/2011.08742
http://arxiv.org/abs/2011.08742
Autor:
Pardo, Ra��l, M��tayer, Daniel Le
In this report, we present an approach to enhance informed consent for the processing of personal data. The approach relies on a privacy policy language used to express, compare and analyze privacy policies. We describe a tool that automatically repo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c8e9ec1fc1197f27c1a8050570ab663b
Autor:
Morel, Victor, Pardo, Ra��l
Privacy policies are the main way to obtain information related to personal data collection and processing. Originally, privacy policies were presented as textual documents. However, the unsuitability of this format for the needs of today's society g
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eddb38ecc5407a32fc500fecf3aac70d
We present an epistemic logic equipped with time-stamps in the atoms and epistemic operators, which allows to reason not only about information available to the different agents, but also about the moments at which events happens and new knowledge is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f9b9f23dbfe22214dac5a8c0d014607e
Autor:
Pardo, Ra��l, Schneider, Gerardo
A social network service is a platform to build social relations among people sharing similar interests and activities. The underlying structure of a social networks service is the social graph, where nodes represent users and the arcs represent the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cece855ac539c4f0265b6c2bd0716cd8
Autor:
Pardo, Ra��l, Pelayo, Fernando L.
In this work we present the first version of ROSA Analyser, a tool designed to get closer to a fully automatic process of analysing the behaviour of a system specified as a process of the Markovian Process Algebra ROSA. In this first development stag
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0f3b222189e8ceb40c182c22552910f3