ソフトウェア更新システムプロトコルのBAN logicによる安全性検証 : preliminary version ＜算譜科学研究速報 AIST-PS-2007-6＞

書籍データ

著者名：吉田聡, 山形頼之 著 ; 産業技術総合研究所システム検証研究センター 編他の作品を見る

出版社：産業技術総合研究所システム検証研究センター

発売日：2007.6

13p 30cm

ISBN：