文献
J-GLOBAL ID:201002245992431607
整理番号:10A1543400
選挙の検証可能特性の自動的解析に向けて
Towards Automatic Analysis of Election Verifiability Properties
著者 (6件):
SMYTH Ben
(Univ. Birmingham, GBR)
,
SMYTH Ben
(Ecole Normale Superieure, FRA)
,
RYAN Mark
(Univ. Birmingham, GBR)
,
KREMER Steve
(ENS Cachan, FRA)
,
KOURJIEH Mounira
(Univ. Birmingham, GBR)
,
KOURJIEH Mounira
(Univ. Toulouse, FRA)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
6186
ページ:
146-163
発行年:
2010年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
発行国:
ドイツ (DEU)
言語:
英語 (EN)