39 citations · 56 across the 13 of their papers we have counts for
3 papers · 1 filter
Compiling symbolic attacks to protocol implementation tests
Hatem Ghabri, Ghazi Maatoug, Michael Rusinowitch
Recently efficient model-checking tools have been developed to find flaws in security protocols specifications. These flaws can be interpreted as potential attacks scenarios but th…
Fresh-Variable Automata for Service Composition
Walid Belkhir, Yannick Chevalier, Michael Rusinowitch
To model Web services handling data from an infinite domain, or with multiple sessions, we introduce fresh-variable automata, a simple extension of finite-state automata in which s…
Guarded Variable Automata over Infinite Alphabets
Walid Belkhir, Yannick Chevalier, Michael Rusinowitch
We define guarded variable automata (GVAs), a simple extension of finite automata over infinite alphabets. In this model the transitions are labelled by letters or variables rangin…