Abdullah Alghzawi

3 Questions 2 Answers 0 Followers

Questions related from Abdullah Alghzawi

What is the main difference between scyther, scyther-proof and tamarin automatic security analyzers?

All these tools are related to each other, but I can't decide what is the big thing that distinguishes them from one another.

17 March 2014 1,651 2 View

Real security protocols analyzed by YAPA، AVISPA ، Scyther and athina?

Hell everybody, i'm searching for real security protocols have been analyzed by YAPA، AVISPA ، Scyther، athina and others. Can you help me??

28 February 2014 9,663 2 View

Why do we need to check old protocols? And why have these not been checked (verified) after development before being used?

As using the ProVerif to verify the correctness of any security protocol we simulate the protocol and its environment (what an attacker knows and what he can know), so why do we need to check old...

06 March 2013 7,718 2 View