公開鍵暗号系の安全性保証の難しさ (計算の複雑性に関する研究)
スポンサーリンク
概要
著者
関連論文
- ランドサットTMデータによる船舶の観測
- 関係データベースにおけるRepresentative Instanceに関する一結果 (形式言語理論とオートマトン理論)
- 多値従属を考慮した関係表現における制約の導出 (数理情報科学の基礎理論と応用)
- 暗号化鍵配送の一方式とその安全性の検証
- 代数的仕様記述における詳細化 : 特に抽象的順序機械の場合 (数理情報科学の基礎理論と応用)
- 公開鍵暗号系の安全性保証の難しさ (計算の複雑性に関する研究)
- 暗号化法の最近の話題
- セーフペトリネットによる正規集合の記述の簡潔さについて : 有限オートマトンとの比較 (計算機科学の数学的基礎)
- メソッドスキーマの型整合性の十分条件
- 多重文脈自由文法の認識問題について
- 優先サービスを含む通信プロトコルの安全性の検証
- 多重文脈自由文法の所属問題に対する並列アルゴリズム(計算および計算量理論とその周辺)
- 通信プロトコルの自然語仕様から代数的仕様への変換における文章間の依存関係の解析
- 自然語仕様から代数的仕様への,文脈を考慮した変換 : OSIセション層プロトコル仕様を例にして
- Hsiaoの意味で最適な(72,64)修正ハミング符号(技術談話室)
- 元副会長 田中幸吉先生を偲ぶ
- 入出力用割込み処理プログラムの高級言語による教育用システム (FISS)
- 確率を用いたレーダシミュレータの試作
- 遺伝的アルゴリズムに対するチューニング戦略の提案
- 分枝限定法によるパレット積載問題のアルゴリズム
- 処理時間制限を設けた二次元単一種積み付け問題の近似解法
- 海上交通情報システムの計画(海上情報システムの構築,海上交通計画)
- CGI方式による夜間操船シミュレータの試作
- 夜間における航路標識の識別尺度
- 確率を用いたレーダシミュレータ
- 個人計算機を用いた簡易レーダシミュレータ
- スレディドコードマシンの試作
- テキストエディタシステムの作成
- Analysis of a Disk Operating System (プログラムの基礎理論)