kw's blog - A Type System for Quantified Information-Flow Security in Java-Like Languages http://mizunashi.net:80/blog/2017/03/14/1489485600000.html Middleweight Javaに対して量的情報流解析を行う型シ... ja kw Tue, 14 Mar 2017 10:00:00 GMT kw 2017-03-14T10:00:00Z ja kw kw's blog http://mizunashi.net:80/blog/