登録情報詳細


year2006
monthNov.
classUnrefereed Articles
intlordomDomestic
languagejapanese
presentation_typeoral
jauthor今本健二
jtitle[チュートリアル招待講演]セキュリティプロトコルの検証技術(1) 〜 -- カギ交換プロトコルの安全性証明でよく見られる誤り -- 〜
jauthority電子情報通信学会技術研究報告, AI
note


[english page]
[top page]