検索結果 2 件
デジタル記事
インターネットで読める全国の図書館
- 要約等A sufficient condition for secure ping-pong protocols is repretsented. This condition, called name-suffixing, is essentially to insert identities of participants in messages. We prove its sufficiency and discuss the feature of security in terms of name-suffixing.
- 標準番号（その他）https://hdl.handle.net/2324/3622
- 件名Cryptography Verification of cryptographic protocols
デジタル文書・図像類
インターネットで読める全国の図書館
- 件名Cryptography Verification of cryptographic protocols
- 関連情報DOI Technical Report || 199 http://www.i.kyushu-u.ac.jp/research/report.html
検索結果は以上です。