斉藤 邦明 | 京大 大学院医学研究科 人間健康科学系専攻 医療検査展開学 基礎生体病態情報解析学
スポンサーリンク
概要
論文 | ランダム
- 20周年記念特集号の編集にあたって(20周年記念特集)
- 時間論理によるリアクティブシステム仕様の検証の効率化(セキュアコンピューティング)
- SSLとリレーサーバを用いたPOP before SMTPのセキュアな実現法
- リアクティブシステムの段階的充足可能性とSafety Propertyの関係
- セキュリティプロトコルにおける暗号化メッセージの送信者による認知に関する検証法