Beyond SCADA: Cyber Physical Systems Meeting (HCSS-NEC4CPS)
November 8 & 9, 2006, Pittsburgh, Pennsylvania
Working Group Session II
|
| 1. (26) Dynamic
High confidence Certifiable Embedded Software: Position Paper
|
| |
K. Rohloff, R. Schantz
and J. Loyall |
| 2. (30) Challenges
and Approaches in Engineering IT Infrastructures for the Power Grid
|
| |
W. H. Sanders and P. W. Sauer
|
| 3. (9) Towards
Full-disclosure: Broadening Access to SCADA Data to Improve Safety, Reliability
|
| and
Security |
| |
J. Heidemann and W. Ye |
| 4. (29) HCSS:
Designing Reliable Embedded Systems atop of Unreliable Hardware Platform
|
| |
Y. Xie |
| 5. (5) Secure,
Open, Real-Time Operating Systems |
| |
B. Isle, T. Carpenter, C. Payne,
and K. Nelson and B. Isle |
| 6. (7) Understanding
Trust and Security is SCADA Systems |
| |
C. Neuman |
| 7. (10) The
DETER Testbed and Networked Embedded Control for Cyber Physical Systems
|
| |
A. D. Joseph and T.V. Benzel
|
| 8. (33) Security
Challenges in Next Generation Cyber Physical Systems |
| |
M. Anand, E. Cronin, M. Sherr,
M. Blaze, Z. Ives, and I. Lee |
| 9. (24)
Intrusion Insights – Adapting Intrusion Prevention Functionality for
Process Control SCADA |
| Systems
|
| |
E. Rakaczky |
| 10. (15) Real-Time
Isolation and Composition of Virtualized Resource Sets |
| |
A. K. Mok |
| 11. (13) Risk-Informed
Evaluation of Security Technology Insertions and Next-Generation Control
System |
| Architectures
via Modeling and Simulation |
| |
P. Sholander |
