9 followers
"Formal Verification of RGR-SEC, a Secured RGR Routing for UAANETs Using AVISPA, Scyther and Tamarin." https://t.co/ivW8Quuseq #dblp
"Formal Verification of RGR-SEC, a Secured RGR Routing for UAANETs Using AVISPA, Scyther and Tamarin." https://t.co/ivW8Quuseq #dblp