文献

J-GLOBAL ID：201302202995952358   整理番号：12A1790122

Webプロトコルのセキュリティを解析するための信念論理

A Belief Logic for Analyzing Security of Web Protocols

著者 (1件)： KUMAR Apurva (IBM Res., IND)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7344  ページ： 239-254  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (6件)： Web ,  プロトコル ,  セキュリティ ,  解析 ,  信念 ,  論理