スポンサーリンク
三菱電機(株)情報電子研究所 | 論文
- 1N-3 接触型ICカード用セキュアプロセッサSEP-7の開発(組込みとセキュリティ,学生セッション,アーキテクチャ)
- 共有メモリマルチプロセッサにおけるガーベジコレクションの並列実行と評価 (並列処理)
- 共有メモリマルチプロセッサにおけるガーベジコレクションの並列実行と評価
- 共有メモリ結合マルチプロッセサにおけるKL1向きガーベジコレクション : MRBを用いた最適化と並列実行
- LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(3) : 抽象データ記述の処理[INTAP研究開発委員会プロトコル形式記述WG]
- LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(2) : 中間言語 Arbalotos[INTAP研究開発委員会プロトコル形式記述WG]
- LIpS : 国際標準に基づく形式的仕様記述LOTOSの支援環境(1) : 設計概要[INTAP研究開発委員会プロトコル形式記述WG]
- 分散C/SシステムにおけるPC-クライアントの機能分担における一考察
- 分散システムにおけるディレクトリサービスのセキュリティへの適用
- 形式手法による通信ソフトウェア試験データの生成とその試験法
- OSIディレクトリ規格に基づくアドレス検索システム(2) : アプリケーションへの応用
- OSIディレクトリ規格に基づくアドレス検索システム(1) : システム概要とプロトコル
- OSIディレクトリサービス仕様の実現上の課題
- SDLに基づく通信ソフトウェア開発環境
- LOTOS Serverとモジュール仕様記述
- セキュア携帯電話システム (特集 情報セキュリティ技術)
- 携帯電話スマートキーを活用した車操作権限の貸与方式の提案(セッション5-C : 認証・アクセス制御(1))
- 携帯電話スマートキーを活用した車操作権限の貸与方式の提案
- 情報セキュリティ技術 セキュリティライブラリ (特集 情報セキュリティ)
- 5T-4 PKIにおけるICカードの適用と評価