CCS
2015
ACM
9 years 11 months ago
2015
ACM
Firewall configuration is a critical activity for the Supervisory Control and Data Acquisition (SCADA) networks that control power stations, water distribution, factory automatio...
CCS
2015
ACM
9 years 11 months ago
2015
ACM
We provide a formal treatment of security of digital signatures against subversion attacks (SAs). Our model of subversion generalizes previous work in several directions, and is i...
675
click to vote
SCAM
2015
IEEE
9 years 11 months ago
2015
IEEE
—SimNav is a GUI designed for displaying and navigating clone classes of Simulink models detected by the model clone detector Simone. As an embedded Simulink interface tool, SimN...
678
click to vote
SCAM
2015
IEEE
9 years 11 months ago
2015
IEEE
Abstract—Exception handling (EH) is a well-known mechanism that aims at improving software reliability in a modular way—allowing a better separation between the code that deals...