Login / Signup
Shahab A. Abdullah
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Security Problems
Theorem Prover
Security Measures
Web Service Discovery
Top Venues
ITNAC
</>
Publications
</>
Dawood Sheniar
,
Nabeel Hadaad
,
David Martin
,
Ron Addie
,
Shahab A. Abdullah
Experiments and Proofs in Web-service Security.
ITNAC
(2018)