文献
J-GLOBAL ID:201302216676270865
整理番号:13A0764785
時間OTS/CafeOBJ方式におけるTESLAプロトコルの形式的分析
Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method
著者 (4件):
OURANOS Iakovos
(Heraklion Airport)
,
OURANOS Iakovos
(Technological Educational Inst. of Crete)
,
OGATA Kazuhiro
(Japan Adv. Inst. of Sci. and Tech. (JAIST))
,
STEFANEAS Petros
(National Tech. Univ. of Athens (NTUA))
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
7610
ページ:
126-142
発行年:
2012年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
発行国:
ドイツ (DEU)
言語:
英語 (EN)