論文

査読有り
2013年1月

An epistemic approach to compositional reasoning about anonymity and privacy

Proceedings of the Fourteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013)
  • Yasuyuki Tsukada
  • ,
  • Hideki Sakurada
  • ,
  • Ken Mano
  • ,
  • Yoshifumi Manabe

開始ページ
239
終了ページ
248
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)

In this paper, we present an epistemic logic approach to the compositionality of several privacy-related information-hiding/disclosure properties. The properties considered here are anonymity, privacy, onymity, and identity. Our initial observation reveals that anonymity and privacy are not necessarily sequentially compositional; this means that even though a system comprising several sequential phases satisfies a certain unlinkability property in each phase, the entire system does not always enjoy a desired unlinkability property. We show that the compositionality can be guaranteed provided that the phases of the system satisfy what we call the independence assumptions. More specifically, we develop a series of theoretical case studies of what assumptions are sufficient to guarantee the sequential compositionality of various degrees of anonymity, privacy, onymity, and/or identity properties. Similar results for parallel composition are also discussed.

リンク情報
DBLP
https://dblp.uni-trier.de/rec/conf/tark/TsukadaSMM13
URL
http://www.tark.org/proceedings/tark_jan7_13/p239-tsukada.pdf
URL
https://arxiv.org/abs/1310.6441
ID情報
  • DBLP ID : conf/tark/TsukadaSMM13

エクスポート
BibTeX RIS