1. A framework for automating security analysis of the internet of things. (1st April 2017) Authors: Ge, Mengmeng; Hong, Jin B.; Guttmann, Walter; Kim, Dong Seong Journal: Journal of network and computer applications Issue: Volume 83(2017) Page Start: 12 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗