27 citations · 77 across the 18 of their papers we have counts for
1 paper · 2 filters
Vivek Nigam, Carolyn Talcott, Abraão Aires Urquiza
Timed Intruder Models have been proposed for the verification of Cyber-Physical Security Protocols (CPSP) amending the traditional Dolev-Yao intruder to obey the physical restricti…