%0 Conference Paper %1 conf/enase/KrichenA19 %A Krichen, Moez %A Alroobaea, Roobaea %B ENASE %D 2019 %E Damiani, Ernesto %E Spanoudakis, George %E Maciaszek, Leszek A. %I SciTePress %K dblp %P 570-577 %T A New Model-based Framework for Testing Security of IoT Systems in Smart Cities using Attack Trees and Price Timed Automata. %U http://dblp.uni-trier.de/db/conf/enase/enase2019.html#KrichenA19 %@ 978-989-758-375-9

@inproceedings{conf/enase/KrichenA19, added-at = {2020-06-15T00:00:00.000+0200}, author = {Krichen, Moez and Alroobaea, Roobaea}, biburl = {https://www.bibsonomy.org/bibtex/267f044b19d974c4ddbab7e76209f8568/dblp}, booktitle = {ENASE}, crossref = {conf/enase/2019}, editor = {Damiani, Ernesto and Spanoudakis, George and Maciaszek, Leszek A.}, ee = {https://doi.org/10.5220/0007830605700577}, interhash = {80ddca30a976e17e9afa54d96587f7b1}, intrahash = {67f044b19d974c4ddbab7e76209f8568}, isbn = {978-989-758-375-9}, keywords = {dblp}, pages = {570-577}, publisher = {SciTePress}, timestamp = {2024-04-09T12:39:27.000+0200}, title = {A New Model-based Framework for Testing Security of IoT Systems in Smart Cities using Attack Trees and Price Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/enase/enase2019.html#KrichenA19}, year = 2019 }