%0 Conference Paper %1 conf/cns/MohsinAHAR16 %A Mohsin, Mujahid %A Anwar, Zahid %A Husari, Ghaith %A Al-Shaer, Ehab %A Rahman, Mohammad Ashiqur %B CNS %D 2016 %I IEEE %K dblp %P 180-188 %T IoTSAT: A formal framework for security analysis of the internet of things (IoT). %U http://dblp.uni-trier.de/db/conf/cns/cns2016.html#MohsinAHAR16 %@ 978-1-5090-3065-1

@inproceedings{conf/cns/MohsinAHAR16, added-at = {2017-05-24T00:00:00.000+0200}, author = {Mohsin, Mujahid and Anwar, Zahid and Husari, Ghaith and Al-Shaer, Ehab and Rahman, Mohammad Ashiqur}, biburl = {https://www.bibsonomy.org/bibtex/2622ae65069db478406f3788afddd6fdd/dblp}, booktitle = {CNS}, crossref = {conf/cns/2016}, ee = {https://doi.org/10.1109/CNS.2016.7860484}, interhash = {c6223016e14a2088c84b20292ab833f9}, intrahash = {622ae65069db478406f3788afddd6fdd}, isbn = {978-1-5090-3065-1}, keywords = {dblp}, pages = {180-188}, publisher = {IEEE}, timestamp = {2019-10-17T13:55:26.000+0200}, title = {IoTSAT: A formal framework for security analysis of the internet of things (IoT).}, url = {http://dblp.uni-trier.de/db/conf/cns/cns2016.html#MohsinAHAR16}, year = 2016 }