Skip navigation

Items where Author is "Shrobe, Howard"

Items where Author is "Shrobe, Howard"

Up a level
Export as [feed] RSS
Group by: Item Type | Uncontrolled Keywords | No Grouping
biomedical monitoring calculus computational modeling computer crime computer hacking computer security control systems cyber security cyber-physical cyberattack Deductive reasoning design methodology formal analysis Inductive reasoning industrial control information and communication technology insulin integrated circuits monitoring process control prototypes real-time security real-time systems runtime safety Security sensors sugar systems tutorials
Number of items: 39.

biomedical monitoring

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2018) Highly assured safety and security of e-health applications. In: 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). IEEE, pp. 137-144. ISBN 978-1538668764 ISSN 2160-4886 (doi:https://doi.org/10.1109/WiMOB.2018.8589095)

calculus

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) A rigorous and efficient run-time security monitor for real-time critical embedded system applications. In: 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT). IEEE, pp. 100-105. ISBN 978-1509041305 (doi:https://doi.org/10.1109/WF-IoT.2016.7845510)

computational modeling

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) A rigorous and efficient run-time security monitor for real-time critical embedded system applications. In: 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT). IEEE, pp. 100-105. ISBN 978-1509041305 (doi:https://doi.org/10.1109/WF-IoT.2016.7845510)

computer crime

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

computer hacking

Serpanos, Dimitrios ORCID: 0000-0002-1385-7113 , Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2018) Designing safe and secure industrial control systems: A tutorial review. IEEE Design & Test, 35 (3). pp. 73-88. ISSN 2168-2356 (Print), 2168-2364 (Online) (doi:https://doi.org/10.1109/MDAT.2018.2816943)

computer security

Serpanos, Dimitrios ORCID: 0000-0002-1385-7113 , Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2018) Designing safe and secure industrial control systems: A tutorial review. IEEE Design & Test, 35 (3). pp. 73-88. ISSN 2168-2356 (Print), 2168-2364 (Online) (doi:https://doi.org/10.1109/MDAT.2018.2816943)

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

control systems

Serpanos, Dimitrios ORCID: 0000-0002-1385-7113 , Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2018) Designing safe and secure industrial control systems: A tutorial review. IEEE Design & Test, 35 (3). pp. 73-88. ISSN 2168-2356 (Print), 2168-2364 (Online) (doi:https://doi.org/10.1109/MDAT.2018.2816943)

cyber security

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2021) Towards scalable security of real-time applications: a formally certified approach. In: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ). IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, 01-04. ISBN 978-1728129907; 978-1728129891 (doi:https://doi.org/10.1109/ETFA45728.2021.9613489)

cyber-physical

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

cyberattack

Serpanos, Dimitrios ORCID: 0000-0002-1385-7113 , Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2018) Designing safe and secure industrial control systems: A tutorial review. IEEE Design & Test, 35 (3). pp. 73-88. ISSN 2168-2356 (Print), 2168-2364 (Online) (doi:https://doi.org/10.1109/MDAT.2018.2816943)

Deductive reasoning

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2019) Security of cyberphysical systems: Chaining induction and deduction. Computer, 52. pp. 72-75. ISSN 0018-9162 (Print), 1558-0814 (Online) (doi:https://doi.org/10.1109/MC.2019.2913138)

design methodology

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

formal analysis

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2021) Towards scalable security of real-time applications: a formally certified approach. In: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ). IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, 01-04. ISBN 978-1728129907; 978-1728129891 (doi:https://doi.org/10.1109/ETFA45728.2021.9613489)

Inductive reasoning

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2019) Security of cyberphysical systems: Chaining induction and deduction. Computer, 52. pp. 72-75. ISSN 0018-9162 (Print), 1558-0814 (Online) (doi:https://doi.org/10.1109/MC.2019.2913138)

industrial control

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) A rigorous and efficient run-time security monitor for real-time critical embedded system applications. In: 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT). IEEE, pp. 100-105. ISBN 978-1509041305 (doi:https://doi.org/10.1109/WF-IoT.2016.7845510)

information and communication technology

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

insulin

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2018) Highly assured safety and security of e-health applications. In: 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). IEEE, pp. 137-144. ISBN 978-1538668764 ISSN 2160-4886 (doi:https://doi.org/10.1109/WiMOB.2018.8589095)

integrated circuits

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

monitoring

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2018) Highly assured safety and security of e-health applications. In: 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). IEEE, pp. 137-144. ISBN 978-1538668764 ISSN 2160-4886 (doi:https://doi.org/10.1109/WiMOB.2018.8589095)

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) A rigorous and efficient run-time security monitor for real-time critical embedded system applications. In: 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT). IEEE, pp. 100-105. ISBN 978-1509041305 (doi:https://doi.org/10.1109/WF-IoT.2016.7845510)

process control

Serpanos, Dimitrios ORCID: 0000-0002-1385-7113 , Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2018) Designing safe and secure industrial control systems: A tutorial review. IEEE Design & Test, 35 (3). pp. 73-88. ISSN 2168-2356 (Print), 2168-2364 (Online) (doi:https://doi.org/10.1109/MDAT.2018.2816943)

prototypes

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) A rigorous and efficient run-time security monitor for real-time critical embedded system applications. In: 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT). IEEE, pp. 100-105. ISBN 978-1509041305 (doi:https://doi.org/10.1109/WF-IoT.2016.7845510)

real-time security

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2021) Towards scalable security of real-time applications: a formally certified approach. In: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ). IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, 01-04. ISBN 978-1728129907; 978-1728129891 (doi:https://doi.org/10.1109/ETFA45728.2021.9613489)

real-time systems

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) A rigorous and efficient run-time security monitor for real-time critical embedded system applications. In: 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT). IEEE, pp. 100-105. ISBN 978-1509041305 (doi:https://doi.org/10.1109/WF-IoT.2016.7845510)

runtime

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

safety

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2018) Highly assured safety and security of e-health applications. In: 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). IEEE, pp. 137-144. ISBN 978-1538668764 ISSN 2160-4886 (doi:https://doi.org/10.1109/WiMOB.2018.8589095)

Serpanos, Dimitrios ORCID: 0000-0002-1385-7113 , Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2018) Designing safe and secure industrial control systems: A tutorial review. IEEE Design & Test, 35 (3). pp. 73-88. ISSN 2168-2356 (Print), 2168-2364 (Online) (doi:https://doi.org/10.1109/MDAT.2018.2816943)

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

Security

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2019) Security of cyberphysical systems: Chaining induction and deduction. Computer, 52. pp. 72-75. ISSN 0018-9162 (Print), 1558-0814 (Online) (doi:https://doi.org/10.1109/MC.2019.2913138)

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2018) Highly assured safety and security of e-health applications. In: 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). IEEE, pp. 137-144. ISBN 978-1538668764 ISSN 2160-4886 (doi:https://doi.org/10.1109/WiMOB.2018.8589095)

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) A rigorous and efficient run-time security monitor for real-time critical embedded system applications. In: 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT). IEEE, pp. 100-105. ISBN 978-1509041305 (doi:https://doi.org/10.1109/WF-IoT.2016.7845510)

sensors

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2018) Highly assured safety and security of e-health applications. In: 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). IEEE, pp. 137-144. ISBN 978-1538668764 ISSN 2160-4886 (doi:https://doi.org/10.1109/WiMOB.2018.8589095)

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

sugar

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2018) Highly assured safety and security of e-health applications. In: 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). IEEE, pp. 137-144. ISBN 978-1538668764 ISSN 2160-4886 (doi:https://doi.org/10.1109/WiMOB.2018.8589095)

systems

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

tutorials

Serpanos, Dimitrios ORCID: 0000-0002-1385-7113 , Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2018) Designing safe and secure industrial control systems: A tutorial review. IEEE Design & Test, 35 (3). pp. 73-88. ISSN 2168-2356 (Print), 2168-2364 (Online) (doi:https://doi.org/10.1109/MDAT.2018.2816943)

This list was generated on Fri Nov 22 03:38:40 2024 UTC.