文献
J-GLOBAL ID：200902111634521001   整理番号：97A0747536

A Calculus for Cryptographic Protocols The Spi Calculus.

  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=97A0747536&from=J-GLOBAL&jstjournalNo=K19970415") }}
著者 (2件)：
ABADI M

ABADI M について

(Digital Equipment Corp.)

Digital Equipment Corp. について

, 
GORDON A D

GORDON A D について

(Univ. Cambridge)

Univ. Cambridge について


資料名：
4th ACM Conference on Computer and Communications Security, 1997  (4th ACM Conference on Computer and Communications Security, 1997)

4th ACM Conference on Computer and Communications Security, 1997 について


ページ： 36-47  発行年： 1997年 
JST資料番号： K19970415  ISBN： 0-89791-912-2  資料種別： 会議録 (C)
発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)
タイトルに関連する用語 (1件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
SPI

SPI について


前のページに戻る

TOP

BOTTOM