文献
J-GLOBAL ID：201302216676270865   整理番号：13A0764785

時間OTS/CafeOBJ方式におけるTESLAプロトコルの形式的分析

Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method
著者 (4件)：
OURANOS Iakovos

OURANOS Iakovos について

(Heraklion Airport)

Heraklion Airport について

, 
OURANOS Iakovos

OURANOS Iakovos について

(Technological Educational Inst. of Crete)

Technological Educational Inst. of Crete について

, 
OGATA Kazuhiro

OGATA Kazuhiro について

(Japan Adv. Inst. of Sci. and Tech. (JAIST))

Japan Adv. Inst. of Sci. and Tech. (JAIST) について

, 
STEFANEAS Petros

STEFANEAS Petros について

(National Tech. Univ. of Athens (NTUA))

National Tech. Univ. of Athens (NTUA) について


資料名：
Lecture Notes in Computer Science  (Lecture Notes in Computer Science)

Lecture Notes in Computer Science について


巻： 7610  ページ： 126-142  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)
タイトルに関連する用語 (3件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
OTS

OTS について

, 
プロトコル

プロトコル について

, 
形式的分析

形式的分析 について


前のページに戻る

TOP

BOTTOM