Privacy-Sensitive Information Flow with JML
JML を拡張して非干渉性に関する条件を書けるようにしましたという論文。Krakatoa と Why を使うと JML から Coq に落とせるから、Krakatoa も拡張して非干渉性を扱えるようにした。著者らの興味は privacy-aware なデータマイニングらしく、Naive Bayes Classifier の非干渉性に対する JML が示されている。
author="Guillaume Dufay and Amy Felty and Stan Matwin",
title="{Privacy-Sensitive Information Flow with JML}",
booktitle="CADE 2005",
publisher="Springer",
volume="3632",
series="LNCS",
pages="116--130",
year="2005"
本
No Image
- なぜビッグバンは起こったか : インフレーション理論が解明した宇宙の起源
- Guth, Alan H, 1947-，林, 一, 1933-，林, 大, 1967- 著
- 早川書房
読了。