1 option
Hicons 13 Proceedings of the 2nd International Conference on High Confidence Networked Systems
- Format:
- Book
- Conference/Event
- Author/Creator:
- Hicons 13 Conference Committee, Author.
- Conference Name:
- ACM International Conference on High Confidence Networked Systems (2nd : 2013 : Philadelphia, Pa.)
- Series:
- ACM Conferences
- Language:
- English
- Subjects (All):
- Computer networks--Security measures--Congresses.
- Computer networks.
- Computer security--Congresses.
- Computer security.
- Adaptive computing systems--Congresses.
- Adaptive computing systems.
- Physical Description:
- 1 online resource (144 pages)
- Other Title:
- HiCoNS '13 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), Philadelphia, PA, USA - April 09 - 11, 2013
- Proceedings of the 2nd ACM international conference on High confidence networked systems
- High Confidence Networked Systems'13 : proceedings of the 2nd ACM International Conference on High Confidence Networked Systems : April 9-11, 2013, Philadelphia, PA, USA
- Place of Publication:
- [Place of publication not identified] Association for Computing Machinery 2013
- Language Note:
- English
- Contents:
- Mechanism design for robust resource management to false report in cloud computing systems / Yusuke Aoki [and others]
- An inverse correlated equilibrium framework for utility learning in multiplayer, noncooperative settings / Aaron Bestick [and others]
- Future cars : necessity for an adaptive and distributed multiple independent levels of security architecture / Alexander Camek [and others]
- A framework for privacy and security analysis of probe-based traffic information systems / Edward S. Canepa [and others]
- Bio-inspired strategy for control of viral spreading in networks / Chinwendu Enyioha [and others]
- Using channel state feedback to achieve resilience to deep fades in wireless networked control systems / Bin Hu [and others]
- Privacy-preserving release of aggregate dynamic models / Jerome Le Ny, George J. Pappas
- Algorithms for determining network robustness / Heath J. LeBlanc, Xenofon Koutsoukos
- S3A : secure system simplex architecture for enhanced security and robustness of cyber-physical systems / Sibin Mohan [and others]
- Towards synthesis of platform-aware attack-resilient control systems : extended abstract / Miroslav Pajic [and others]
- Verifying information flow properties of hybrid systems / Pavithra Prabjakar [and others]
- Achieving resilience of heterogeneous networks through predictive, formal analysis / Zhijing Qin [and others]
- Minimax control for cyber-physical systems under network packet scheduling attacks / Yasser Shoukry [and others]
- Verifiably-safe software-defined networks for CPS / Richard Skowyra [and others]
- Bounding the smallest robustly control invariant sets in networks with discrete disturbances and controls / Danielle C. Tarraf
- Contract-based blame assignment by trace analysis / Shaohui Wang [and others]
- Distributed model-invariant detection of unknown inputs in networked systems / James Weimer [and others]
- Taxonomy for description of cross-domain attacks on CPS / Mark Yampolskiy [and others].
- Notes:
- Bibliographic Level Mode of Issuance: Monograph
- ISBN:
- 1-4503-1961-0
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.