伊藤 元雄 | NASA, Johnson Space Center

スポンサーリンク

概要

• 同名の論文著者
• NASA, Johnson Space Centerの論文著者

論文 | ランダム

• 20周年記念特集号の編集にあたって(20周年記念特集)
• 時間論理によるリアクティブシステム仕様の検証の効率化(セキュアコンピューティング)
• SSLとリレーサーバを用いたPOP before SMTPのセキュアな実現法
• リアクティブシステムの段階的充足可能性とSafety Propertyの関係
• セキュリティプロトコルにおける暗号化メッセージの送信者による認知に関する検証法

もっと見る

スポンサーリンク