Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Moosa Yahyazadeh"'
Autor:
Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury
Publikováno v:
Systems, Vol 9, Iss 1, p 18 (2021)
The ever-increasing complexity of cyber-physical systems is driving the need for assurance of critical infrastructure and embedded systems. However, traditional methods to secure cyber-physical systems—e.g., using cyber best practices, adapting mec
Externí odkaz:
https://doaj.org/article/6825ed7474254a9d9534394cae950d01
Publikováno v:
Runtime Verification ISBN: 9783030605070
RV
RV
This paper presents PatrIoT, which efficiently monitors the behavior of a programmable IoT system at runtime and suppresses contemplated actions that violate a given declarative policy. Policies in PatrIoT are specified in effectively propositional,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5fd203f829ab8401ff2fefa15125a1ef
https://doi.org/10.1007/978-3-030-60508-7_8
https://doi.org/10.1007/978-3-030-60508-7_8
Autor:
Meng Li, Michael Richard Durling, Daniel Larraz, Kit Siu, John Interrante, Omar Chowdhury, M. Fareed Arif, Cesare Tinelli, Baoluo Meng, Daniel Prince, Abha Moitra, Moosa Yahyazadeh, Heber Herencia-Zapana
Publikováno v:
2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC).
The asymmetric nature and ever-increasing degree of sophistication of cyber threats drive the need for assurance of critical infrastructure and systems. Current approaches that can help counter these cyber threats include the application of tools wit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6b262317ba881c3622c00af0b4eab4b7
https://doi.org/10.1109/dasc43569.2019.9081652
https://doi.org/10.1109/dasc43569.2019.9081652
Publikováno v:
SACMAT
This paper focuses on developing a security mechanism geared towards appified smart-home platforms. Such platforms often expose programming interfaces for developing automation apps that mechanize different tasks among smart sensors and actuators (e.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1fb2a3de7f735d02c780730d0b87452d
https://doi.org/10.1145/3322431.3325107
https://doi.org/10.1145/3322431.3325107
Publikováno v:
NDSS
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2f714e9683d3aa1cfcb8dc74ddf9b69b
https://doi.org/10.14722/ndss.2019.23430
https://doi.org/10.14722/ndss.2019.23430
Autor:
Daniel Prince, John Interrante, Vidhya Tekken Valapil, Saswata Paul, Abha Moitra, Moosa Yahyazadeh, William David Smith, Omar Chowdhury, Heber Herencia-Zapana, M. Fareed Arif, Baoluo Meng, Michael Richard Durling, Daniel Larraz, Cesare Tinelli, Kit Siu
Publikováno v:
Systems, Vol 9, Iss 18, p 18 (2021)
Systems
Volume 9
Issue 1
Systems
Volume 9
Issue 1
The ever-increasing complexity of cyber-physical systems is driving the need for assurance of critical infrastructure and embedded systems. However, traditional methods to secure cyber-physical systems—e.g., using cyber best practices, adapting mec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8b4a5ed4347ffe3181c1fa8ae9eea4b1
https://doi.org/10.3390/systems9010018
https://doi.org/10.3390/systems9010018
Autor:
Moosa Yahyazadeh, Mahdi Abadi
Publikováno v:
Computers & Electrical Engineering. 41:68-85
Botnets continue to be used by attackers to perform various malicious activities on the Internet. Over the past years, many botnet detection techniques have been proposed; however, most of them cannot detect botnets in an early stage of their lifecyc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0e8d4aab8a428fb3a33ad0349709b7f3
https://doi.org/10.1016/j.compeleceng.2014.10.010
https://doi.org/10.1016/j.compeleceng.2014.10.010
Publikováno v:
DCOSS
This paper describes the design and empirical evaluation of PHASER — a mote prototype for low-power directional communication in wireless sensor networks. PHASER has a modular design that includes three components: a low-power radio, an RF signal p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2af103d2397db9dbe185e88c5258d3be
https://doi.org/10.1109/dcoss.2017.30
https://doi.org/10.1109/dcoss.2017.30