14 citations · 30 across the 6 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2019★ 4 cited
Deriving Cyber-security Requirements for Cyber Physical Systems
Robert Laddaga, Paul Robertson, Howard Shrobe +3
Today's cyber physical systems (CPS) are not well protected against cyber attacks. Protected CPS often have holes in their defense, due to the manual nature of today's cyber securi…
cs.CR2016★ 3 cited
Sound and Complete Runtime Security Monitor for Application Software
Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe
Conventional approaches for ensuring the security of application software at run-time, through monitoring, either produce (high rates of) false alarms (e.g. intrusion detection sys…