塚田 恭章 | 日本電信電話(株)nttコミュニケーション科学基礎研究所
スポンサーリンク
概要
関連著者
-
塚田 恭章
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
塚田 恭章
日本電信電話(株)nttコミュニケーション科学基礎研究所
-
真野 健
NTTコミュニケーション科学基礎研究所
-
河辺 義信
日本電信電話株式会社nttコミュニケーション科学基礎研究所
-
櫻田 英樹
Nttコミュニケーション科学基礎研究所
-
藤田 邦彦
日本電信電話株式会社nttコミュニケーション科学基礎研究所
-
河辺 義信
愛知工業大学情報科学部情報科学科
-
藤田 邦彦
北陸先端科学技術大学院大学情報科学研究科情報処理学専攻
-
櫻田 英樹
日本電信電話株式会社nttコミュニケーション科学基礎研究所
-
遠藤 弘基
東北大学大学院情報科学研究科
-
真野 健
コミュニケーション科学基礎研究所
-
塚田 恭章
コミュニケーション科学基礎研究所
-
真野 健
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
塚田 恭章
NTTコミュニケーション科学基礎研究所
-
河辺 義信
愛知工業大学 情報科学部 情報科学科
著作論文
- ニコニ・コモンズとクリエイティブ・コモンズの比較及びそれらの形式意味論(セッション5(EIP))
- クリエイティブ・コモンズ利用許諾の形式意味論
- ゲーム列による安全性証明の形式化と自動化(数理的技法による情報セキュリティ)
- 匿名性とプライバシ保護の数理的技法 (特集 コミュニケーション環境の未来に向けた研究最前線)
- 編集にあたって(フォーマルメソッドの新潮流)
- 「数理的技法による情報セキュリティ」研究部会の紹介(研究部会だより)
- 対話型安全性証明つきプログラム配信方式における証明の秘匿とその応用(セキュリティ基盤技術)
- 電子投票プロトコルに対する無証拠性の定理証明
- 2006年読者モニタについて
- 安全なモバイルプログラム方式の理論 (特集論文1 情報科学研究の最前線--より安全で快適な情報処理技術を目指して) -- (安心して暮らせるネットワーク社会のために)
- フォーマルメソッドによるセキュリティ&プライバシ (特集 20周年を迎えたコミュニケーション科学)
- 素性構造に基づいたアクセス制御モデルの提案