文献

J-GLOBAL ID：201102214498992544   整理番号：11A0534246

監査のための設計:微小なTCBを用いた投票マシン

Designing for Audit: A Voting Machine with a Tiny TCB

著者 (3件)： GARDNER Ryan W. (Johns Hopkins Univ., MD, USA) ,  GARERA Sujata (Johns Hopkins Univ., MD, USA) ,  RUBIN Aviel D. (Johns Hopkins Univ., MD, USA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6052  ページ： 312-319  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (5件)： 監査 ,  設計 ,  TCB ,  投票 ,  マシン