Robert Mitchell

17 papers B 3Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2018 — conf
Regex-Based Linkography Abstraction Refinement for Information Security.
IWSPA@CODASPY
Abhiram Kothapalli, Robert Mitchell
2016 J jnl
Modeling and Analysis of Attacks and Counter Defense Mechanisms for Cyber Physical Systems.
IEEE Trans. Reliab.
Robert Mitchell, Ing-Ray Chen
2016 — conf
Parameterizing Moving Target Defenses.
NTMS
Nicholas Anderson, Robert Mitchell, Ing-Ray Chen
2015 J jnl
Behavior Rule Specification-Based Intrusion Detection for Safety Critical Medical Cyber Physical Systems.
IEEE Trans. Dependable Secur. Comput.
Robert Mitchell, Ing-Ray Chen
2015 — conf
On modeling of adversary behavior and defense for survivability of military MANET applications.
MILCOM
Ing-Ray Chen, Robert Mitchell, Jin-Hee Cho
2014 J jnl
A survey of intrusion detection in wireless network applications.
Comput. Commun.
Robert Mitchell, Ing-Ray Chen
2014 J jnl
Adaptive Intrusion Detection of Malicious Unmanned Air Vehicles Using Behavior Rule Specifications.
IEEE Trans. Syst. Man Cybern. Syst.
Robert Mitchell, Ing-Ray Chen
2014 J jnl
Scalable and efficient dual-region based mobility management for ad hoc networks.
Ad Hoc Networks
Ing-Ray Chen, Yinan Li, Robert Mitchell, Ding-Chau Wang
2013 J jnl
A survey of intrusion detection techniques for cyber-physical systems.
ACM Comput. Surv.
Robert Mitchell, Ing-Ray Chen
2013 J jnl
Behavior-Rule Based Intrusion Detection Systems for Safety Critical Smart Grid Applications.
IEEE Trans. Smart Grid
Robert Mitchell, Ing-Ray Chen
2013 — —
Design and Analysis of Intrusion Detection Protocols in Cyber Physical Systems.
Robert Mitchell
2013 J jnl
Effect of Intrusion Detection and Response on Reliability of Cyber Physical Systems.
IEEE Trans. Reliab.
Robert Mitchell, Ing-Ray Chen
2013 J jnl
On Survivability of Mobile Cyber Physical Systems with Intrusion Detection.
Wirel. Pers. Commun.
Robert Mitchell, Ing-Ray Chen
2012 B conf
Behavior Rule Based Intrusion Detection for Supporting Secure Medical Cyber Physical Systems.
ICCCN
Robert Mitchell, Ing-Ray Chen
2011 B conf
A hierarchical performance model for intrusion detection in cyber-physical systems.
WCNC
Robert Mitchell, Ing-Ray Chen
2011 B conf
Survivability analysis of mobile cyber physical systems with voting-based intrusion detection.
IWCMC
Robert Mitchell, Ing-Ray Chen
2009 — conf
Signalprint-Based Intrusion Detection in Wireless Networks.
SEWCN
Robert Mitchell, Ing-Ray Chen, Mohamed Eltoweissy