Mohsin Mujahid  <br/><br/>
Formal modeling for automated security analytics of the internet of things/ 
Mujahid Mohsin 
 - Islamabad  NUST-SEECS  2017 
 - 208p.  ill;  30,cm.  CD Includes 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PhD-Computer Science
<br/><br/><label>Dewey Class. No.: </label>200