作者: Paul F. Syverson , Stuart G. Stubblebine
关键词:
摘要: 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.