Group Principals and the Formalization of Anonymity

作者: Paul F. Syverson , Stuart G. Stubblebine

DOI: 10.1007/3-540-48119-2_45

关键词:

摘要: We introduce the concept of a group principal and present number different classes principals, including thresholdgroup-principals. These appear to naturally useful concepts for looking at security. provide an associated epistemic language logic use it reason about anonymity protocols services, where protection properties are formulated from intruder's knowledge principals. Using our language, we give characterization properties. also specification simple anonymizing system using theory.

参考文章(25)
Pierre Bieber, Frédéric Cuppens, A Logical View of Secure Dependencies Journal of Computer Security. ,vol. 1, pp. 99- 129 ,(1992) , 10.3233/JCS-1992-1105
Brian F. Chellas, Modal Logic: An Introduction ,(1980)
Steve Schneider, Abraham Sidiropoulos, CSP and Anonymity european symposium on research in computer security. pp. 198- 218 ,(1996) , 10.1007/3-540-61770-1_38
C. Gulcu, G. Tsudik, Mixing E-mail with Babel network and distributed system security symposium. pp. 2- 16 ,(1996) , 10.1109/NDSS.1996.492350
Rafail Ostrovsky, Moti Yung, How to withstand mobile virus attacks (extended abstract) Proceedings of the tenth annual ACM symposium on Principles of distributed computing - PODC '91. pp. 51- 59 ,(1991) , 10.1145/112600.112605
Ronald Fagin, Yoram Moses, Joseph Y. Halpern, Moshe Y. Vardi, Knowledge-based programs principles of distributed computing. pp. 153- 163 ,(1995) , 10.1145/224964.224982
J. A. Goguen, J. Meseguer, Security Policies and Security Models ieee symposium on security and privacy. pp. 11- 11 ,(1982) , 10.1109/SP.1982.10014
Michael K. Reiter, Aviel D. Rubin, Crowds: anonymity for Web transactions ACM Transactions on Information and System Security. ,vol. 1, pp. 66- 92 ,(1998) , 10.1145/290163.290168
Janice Glasgow, Glenn Macewen, Prakash Panangaden, A logic for reasoning about security ACM Transactions on Computer Systems. ,vol. 10, pp. 226- 264 ,(1992) , 10.1145/146937.146940