文献

J-GLOBAL ID：201202201405532142   整理番号：12A0902508

EPC Gen2RFID(電波による個体識別)システムに対する鍵確立プロトコルの形式的検証:進行中の作業

Formal Verification of a Key Establishment Protocol for EPC Gen2 RFID Systems: Work in Progress

著者 (4件)： TOUNSI Wiem (Telecom Bretagne, Cesson-Sevigne, FRA) ,  CUPPENS-BOULAHIA Nora (Telecom Bretagne, Cesson-Sevigne, FRA) ,  CUPPENS Frederic (Telecom Bretagne, Cesson-Sevigne, FRA) ,  GARCIA-ALFARO Joaquin (Telecom Bretagne, Cesson-Sevigne, FRA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6888  ページ： 242-251  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (6件)： EPC ,  電波 ,  個体識別 ,  鍵確立 ,  プロトコル ,  形式的検証