LEADER 02628nam 2200601Ia 450 001 9910456186103321 005 20200520144314.0 010 $a1-280-17998-8 010 $a9786610179985 010 $a0-309-51384-7 035 $a(CKB)111069351131880 035 $a(SSID)ssj0000132642 035 $a(PQKBManifestationID)12045284 035 $a(PQKBTitleCode)TC0000132642 035 $a(PQKBWorkID)10039124 035 $a(PQKB)10865590 035 $a(MiAaPQ)EBC3375827 035 $a(Au-PeEL)EBL3375827 035 $a(CaPaEBR)ebr10046876 035 $a(OCoLC)923259201 035 $a(EXLCZ)99111069351131880 100 $a20030505d2003 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aCritical information infrastructure protection and the law$b[electronic resource] $ean overview of key issues /$fCommittee on Critical Information Infrastructure and the Law, Computer Science and Telecommunications Board, National Academy of Engineering, National Research Council of the National Academies ; Stewart D. Personick and Cynthia A. Patterson, editors 210 $aWashington, D.C. $cNational Academies Press$dc2003 215 $axvi, 102 p 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-309-08878-X 320 $aIncludes bibliographical references. 327 $a1. Introduction and context (Rise of CIP as a policy issue) -- 2. Increasing the flow of information (Information sharing framework, (Perceived) Barriers to information sharing, Concluding observations) -- 3. Liability for unsecured systems and networks (Criminal law, Civil liability, Regulation) -- 4. Moving forward (Motivating the private sector, Security and privacy tensions, A Trust network) 606 $aConfidential communications$zUnited States 606 $aComputer security$zUnited States 606 $aComputers$xAccess control$zUnited States 606 $aPrivacy, Right of$zUnited States 608 $aElectronic books. 615 0$aConfidential communications 615 0$aComputer security 615 0$aComputers$xAccess control 615 0$aPrivacy, Right of 701 $aPersonick$b Stewart D$0771895 701 $aPatterson$b Cynthia A$0261386 712 02$aNational Research Council (U.S.) Committee on Critical Information Infrastructure Protection and the Law. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910456186103321 996 $aCritical information infrastructure protection and the law$92491431 997 $aUNINA LEADER 01299nam a2200313 i 4500 001 991001477489707536 005 20020502194257.0 008 990708s1984 it ||| | ita 020 $a8814000107 035 $ab11518467-39ule_inst 035 $aPRUMB61801$9ExL 040 $aScuola per assistenti sociali$bita 082 0 $a303.6 100 1 $aMarsh, Peter$0234676 245 13$aLe regole del disordine /$cPeter Marsh, Elizabeth Rosser, Rom Harré ; traduzione di Mirella Pirritano ; postfazione di Alessandro Salvini e Mirella Pirritano 260 $aMilano :$bA. Giuffrè,$c1984 300 $a217 p. ;$c23 cm. 490 0 $aPsicologia sociale e clinica della devianza ;$v8 650 4$aViolenza$xAspetti sociali 700 1 $aRosser, Elizabeth$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0730286 700 1 $aHarré, Rom$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0375547 700 1 $aPirritano, Mirella 740 4 $aThe rules of disorder 907 $a.b11518467$b01-03-17$c01-07-02 912 $a991001477489707536 945 $aLE024 PS SOC IV 27$g1$i2024000016937$lle021$nex DUSS$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i11713884$z01-07-02 996 $aRegole del disordine$91439173 997 $aUNISALENTO 998 $ale021$b01-01-99$cm$da $e-$fita$git $h3$i1 LEADER 01736nam 2200493Ia 450 001 9910701132303321 005 20111221104342.0 035 $a(CKB)5470000002415726 035 $a(OCoLC)768998146 035 $a(EXLCZ)995470000002415726 100 $a20111221d2011 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAutomated verification of specifications with typestates and access permissions$b[electronic resource] /$fRadu I. Siminiceanu, Ne?stor Catan?o 210 1$aHampton, Va. :$cNational Aeronautics and Space Administration, Langley Research Center,$d[2011] 215 $a1 online resource (31 pages) 225 1 $aNASA/CR ;$v2011-217170 300 $aTitle from title screen (viewed on Dec. 21, 2011). 300 $a"August 2011." 320 $aIncludes bibliographical references. (pages 19-20) 606 $aProgram verification (computers)$2nasat 606 $aSpecifications$2nasat 606 $aApproach control$2nasat 606 $aData flow analysis$2nasat 606 $aAlgorithms$2nasat 606 $aParallel programming$2nasat 615 7$aProgram verification (computers) 615 7$aSpecifications. 615 7$aApproach control. 615 7$aData flow analysis. 615 7$aAlgorithms. 615 7$aParallel programming. 700 $aSiminiceanu$b Radu I$01405428 701 $aCatan?o$b Ne?stor$01418899 712 02$aLangley Research Center. 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910701132303321 996 $aAutomated verification of specifications with typestates and access permissions$93531642 997 $aUNINA