40 citations · 185 across the 7 of their papers we have counts for
1 paper · 1 filter
Mariapia Raimondo, Stefano Marrone, Angelo Palladino
Even if the verification of authentication protocols can be achieved by means of formal analysis, the modelling of such an activity is an error-prone task due to the lack of automa…