kw's blog - A Theorem Proving Approach to Analysis of Secure Information Flow

kw's blog - A Theorem Proving Approach to Analysis of Secure Information Flow http://mizunashi.net:80/blog/2006/07/13/1152726214000.html 定理証明器を使って情報流解析しようという... ja kw Wed, 12 Jul 2006 17:43:34 GMT kw 2006-07-12T17:43:34Z ja kw kw's blog http://mizunashi.net:80/blog/