Author of the publication

Calculus of cooperation and game-based reasoning about protocol privacy.

, and . ACM Trans. Comput. Log., 13 (3): 22:1-22:21 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Calculus of cooperation and game-based reasoning about protocol privacy., and . ACM Trans. Comput. Log., 13 (3): 22:1-22:21 (2012)Information Flow on Directed Acyclic Graphs., , and . WoLLIC, volume 6642 of Lecture Notes in Computer Science, page 95-109. Springer, (2011)The Functional Dependence Relation on Hypergraphs of Secrets., and . CLIMA, volume 6814 of Lecture Notes in Computer Science, page 29-40. Springer, (2011)Independence and Functional Dependence Relations on Secrets., , , and . KR, AAAI Press, (2010)An Independence Relation for Sets of Secrets., and . WoLLIC, volume 5514 of Lecture Notes in Computer Science, page 296-304. Springer, (2009)Hypergraphs of multiparty secrets., and . Ann. Math. Artif. Intell., 62 (1-2): 79-101 (2011)Sliding-window self-healing key distribution., , , and . SSRS@CCS, page 82-90. ACM, (2003)On interdependence of secrets in collaboration networks., and . TARK, page 208-217. (2009)An Independence Relation for Sets of Secrets., and . Stud Logica, 94 (1): 73-85 (2010)Anonymous credentials with biometrically-enforced non-transferability., and . WPES, page 60-71. ACM, (2003)