2 citations · 2 across the 1 of their papers we have counts for
1 paper
Doha Ouardi, Manel Barkallah, Jean-Marie Jacquet
Process algebras have been widely used to verify security protocols in a formal manner. However they mostly focus on synchronous communication based on the exchange of messages. We…