Shizra Sultan <br/><br/>
Formal deductive verification of security protocol 

 - Islamabad  NUST-SEECS  2015 
 - 56p.  CD Include 
<br/><br/> Supervisors: Dr. Abdul Ghafoor, Dr. Awais Shibli, Dr. Osman Hassan, Rahat Masood 
<br/><br/><label>Dewey Class. No.: </label>MSCCS-5 SHI