Samuel, S. John

• Vol 8, No 6 (2016) - Articles
  Mechanized Discovery of Malicious Attack and Providing Security using Frame Breaking in WoT
  Abstract