暗号化通信のspi計算による形式的検証

スポンサーリンク

概要

• 論文の詳細を見る
• 2003-11-26

著者

• 住井 英二郎

  ペンシルバニア大学コンピュータ情報科学科

• 住井 英二郎

  ペンシルバニア大学

関連論文

• セキュリティプロトコルの略式記法からspi計算への変換
• 例外処理機構を備えた命令型言語のCPS変換とその定式化
• C++テンプレートを分割コンパイルするためのアプローチ
• テキスト処理言語における文字列のための正規表現型
• 暗号化通信のspi計算による形式的検証
• 安全性を保証するANSI-C実行系の実装手法(プログラミング及びプログラミング言語)
• CSFW-14報告

スポンサーリンク