Browse by: : Advisor | Referee | Advisor & Referee

Now showing items 1-1 of 1

    • Verification of Security Properties Using Formal Techniques 

      Al-Shadly, Saleh (2014-02-12)
      Nowadays, the necessity of developing collaborative and distributed computing systems makes networks, and specially Internet, the key element of the system design process. Several new applications have been appeared in ...