LEADER 04382nam 2200577zu 450 001 9910375903903321 005 20210807005053.0 010 $a1-4503-1961-0 035 $a(CKB)3780000000085159 035 $a(SSID)ssj0001138864 035 $a(PQKBManifestationID)11626101 035 $a(PQKBTitleCode)TC0001138864 035 $a(PQKBWorkID)11171255 035 $a(PQKB)10639361 035 $a(WaSeSS)IndRDA00013605 035 $a(Association for Computing Machinery)10.1145/2461446 035 $a(EXLCZ)993780000000085159 100 $a20160829d2013 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aHicons 13 Proceedings of the 2nd International Conference on High Confidence Networked Systems 210 31$a[Place of publication not identified]$cAssociation for Computing Machinery$d2013 215 $a1 online resource (144 pages) 225 1 $aACM Conferences 300 $aBibliographic Level Mode of Issuance: Monograph 327 $aMechanism 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]. 410 0$aACM Conferences 517 1 $aHiCoNS '13 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), Philadelphia, PA, USA - April 09 - 11, 2013 517 1 $aProceedings of the 2nd ACM international conference on High confidence networked systems 517 1 $aHigh Confidence Networked Systems'13 :$eproceedings of the 2nd ACM International Conference on High Confidence Networked Systems : April 9-11, 2013, Philadelphia, PA, USA 606 $aComputer networks$xSecurity measures$vCongresses 606 $aComputer security$vCongresses 606 $aAdaptive computing systems$vCongresses 615 0$aComputer networks$xSecurity measures 615 0$aComputer security 615 0$aAdaptive computing systems 700 $aHicons 13 Conference Committee$0969119 702 $aSastry$b Shankar 702 $aBas?ar$b Tamer 702 $aBushnell$b Linda 702 $aRohrbough$b Larry 712 02$aAssociation for Computing Machinery-Digital Library. 712 12$aACM International Conference on High Confidence Networked Systems$d(2nd :$f2013 :$ePhiladelphia, Pa.) 801 0$bPQKB 906 $aBOOK 912 $a9910375903903321 996 $aHicons 13 Proceedings of the 2nd International Conference on High Confidence Networked Systems$92201730 997 $aUNINA