{"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2F186.hatenablog.com%2Fentry%2F20060710%2F1152541093\" title=\"\u8a3c\u660e\u306e\u81ea\u52d5\u5316\u306e\u8a71 - 186 @ hatenablog\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","published":"2006-07-10 23:18:13","version":"1.0","blog_url":"https://186.hatenablog.com/","title":"\u8a3c\u660e\u306e\u81ea\u52d5\u5316\u306e\u8a71","description":"\u4eca\u66f4\u53cd\u5fdc\u3059\u308b\u306e\u3082\u3069\u3046\u304b\u3068\u601d\u3046\u306e\u3060\u304c, \u30ea\u30f3\u30af\u3082\u30c8\u30e9\u30c3\u30af\u30d0\u30c3\u30af\u3082\u7121\u3044\u306e\u3067\u53cd\u5fdc\u3057\u3066\u306a\u3044\u3068\u3082\u8a00\u3046. \u72ec\u308a\u8a00. \u3069\u3063\u304b\u3067\u805e\u3044\u305f\u306a\u3041\u3068\u601d\u3063\u3066\u8272\u3005\u8003\u3048\u3066\u307f\u305f\u3089UC\u3068Formal method\u3060\u3063\u305f. Dolev-Yao\u767a\u7965\u306e\u30a2\u30ec. ISEC \u8b1b\u6f14\u4f1a\u300c\u8a3c\u660e\u53ef\u80fd\u5b89\u5168\u6027\u306e\u67a0\u7d44\u300d \u5ca1\u672c\u9f8d\u660e\uff08NTT\uff09\u6c4e\u7528\u7684\u7d50\u5408\u53ef\u80fd\u6027\uff08UC\uff09\u306b\u3064\u3044\u3066 \u767a\u8868\u8cc7\u6599 (pdf)\u306e\u6700\u5f8c\u306e\u65b9\u3067\u89e6\u308c\u3089\u308c\u3066\u3044\u308b. \u65e5\u672c\u5fdc\u7528\u6570\u7406\u5b66\u4f1a\u3068\u7d44\u3093\u3067\u3084\u308b\u305d\u3046\u3067\u3059\u3088.","categories":[],"author_name":"smoking186","height":"190","provider_url":"https://hatena.blog","width":"100%","url":"https://186.hatenablog.com/entry/20060710/1152541093","image_url":null,"blog_title":"186 @ hatenablog","provider_name":"Hatena Blog","type":"rich","author_url":"https://blog.hatena.ne.jp/smoking186/"}