1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
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…