2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2009★ 1 cited
Compiling and securing cryptographic protocols
Yannick Chevalier, Michael Rusinowitch
Protocol narrations are widely used in security as semi-formal notations to specify conversations between roles. We define a translation from a protocol narration to the sequences…
cs.LO2009★ 2 cited
Rewrite based Verification of XML Updates
Florent Jacquemard, Michael Rusinowitch
We consider problems of access control for update of XML documents. In the context of XML programming, types can be viewed as hedge automata, and static type checking amounts to ve…