kw's blog - Privacy-Sensitive Information Flow with JML http://mizunashi.net:80/blog/2010/10/28/1288239480000.html JML を拡張して非干渉性に関する条件を書けるよ... ja kw Thu, 28 Oct 2010 04:18:00 GMT kw 2010-10-28T04:18:00Z ja kw kw's blog http://mizunashi.net:80/blog/