Distributed Systems / Cambridge University Press / Access-Control Systems / ACM Press / TI / /
Country
Japan / United States / China / /
Currency
pence / USD / / /
Facility
Distributed Proof Systems Kazuhiro Minami Nikita Borisov Marianne Winslett National Institute of Informatics University of Illinois / Urbana-Champaign University of Illinois / /
IndustryTerm
authorization systems / cryptographic proving protocol / pervasive computing systems / trust management systems / trust management / logic-based authorization systems / immediate consequence operator / alternate systems / proof construction systems / proof systems / cryptographic protocol / credential systems / /
Organization
Cambridge University / National Science Foundation / Ministry of Internal Affairs and Communications in Japan / University of Pittsburgh / University of Illinois / Distributed Proof Systems Kazuhiro Minami Nikita Borisov Marianne Winslett National Institute / IEEE Computer Society / /
Person
Andrew W. Appel / Edward W. Felten / John DeTreville / Scott Garriss / David Kotz / Oded Goldreich / Adam J. Lee / Marianne Winslett / Lujo Bauer / Georg Gottlob / William H. Winsborough / Trevor Jim / Benjamin N. Grosof / Piero A. Bonatti / Michael K. Reiter / Cedric Fournet / John C. Mitchell / Algorithm / Letizia Tanca / Yuri Gurevich / Nikita Borisov / Joan Feigenbaum / Charles C. Zhang / Stefano Ceri / Ninghui Li / David Sutherland / Moritz Y. Becker / Kazuhiro Minami / Itay Neeman / Andrew D. Gordon / Kazuhiro Minami Nikita Borisov Marianne / /
Position
Protection General / model / security model / computational model for distributed proof systems / Private / /
Confidentiality-preserving Proof Theories for Distributed Proof Systems Kazuhiro Minami Nikita Borisov