LEADER 01771nam 2200373 450 001 9910136830103321 005 20231206165424.0 010 $a1-5044-0825-X 024 7 $a10.1109/IEEESTD.2016.7442254 035 $a(CKB)3710000000619076 035 $a(NjHacI)993710000000619076 035 $a(EXLCZ)993710000000619076 100 $a20231206d2016 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aISO/IEC/IEEE 18883 First Edition 2016-04-15 $eISO/IEC/IEEE International Standard -- Information technology -- Ubiquitous green community control network -- Security /$fIEEE 210 1$a[Place of publication not identified] :$cIEEE,$d2016. 215 $a1 online resource 330 $aThe enhanced security management function for the protocol defined in IEEE 1888(TM), Ubiquitous Green Community Control Network Protocol, is described in this standard. Security requirements, system security architecture definitions, and a standardized description of authentication and authorization, along with security procedures and protocols, are specified. This standard can help avoid unintended data disclosure to the public and unauthorized access to resources, while providing enhanced integrity and confidentiality of transmitted data in the ubiquitous green community control network. 517 $aISO/IEC/IEEE 18883 First Edition 2016-04-15 606 $aInformation technology 606 $aUbiquitous computing 615 0$aInformation technology. 615 0$aUbiquitous computing. 676 $a004 801 0$bNjHacI 801 1$bNjHacl 906 $aDOCUMENT 912 $a9910136830103321 996 $aISO$91086301 997 $aUNINA LEADER 04920nam 22007335 450 001 9910983492003321 005 20241029115609.0 010 $a3-031-75380-1 024 7 $a10.1007/978-3-031-75380-0 035 $a(MiAaPQ)EBC31743919 035 $a(Au-PeEL)EBL31743919 035 $a(CKB)36414869100041 035 $a(DE-He213)978-3-031-75380-0 035 $a(OCoLC)1465269255 035 $a(EXLCZ)9936414869100041 100 $a20241029d2025 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLeveraging Applications of Formal Methods, Verification and Validation. Specification and Verification $e12th International Symposium, ISoLA 2024, Crete, Greece, October 27?31, 2024, Proceedings, Part III /$fedited by Tiziana Margaria, Bernhard Steffen 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (416 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15221 311 08$a3-031-75379-8 327 $aSpecifyThis ? Bridging Gaps Between Program Specification Paradigms: Track Introduction -- Deductively Verified Program Models for Software Model Checking -- Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems -- Towards the Formal Analysis of Algorithmic Requirements -- Interest beyond Violation: On Points-of-Interest in Runtime Verification -- Contract-LIB: A Proposal for a Common Interchange Format for Software Systems Specification -- Adventures in FRET and Specification -- Challenges of Multilingual Program Specification and Analysis -- Towards Integrating Copiloting and Formal Methods: Building Blocks, Architecture, and Challenges -- High-Level Program Properties in Frama-C: Definition, Verification and Deduction -- Formal Foundations of Consistency in Model-Driven Development -- Context-Aware Contracts as a Lingua Franca for Behavioral Specification -- SIMPPAAL: A Framework For Statistical Model Checking of Industrial Simulink Models -- Static and Dynamic Verification of OCaml Programs: the Gospel Ecosystem -- Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary) -- SyDPaCC: A Framework for the Development of Verified Scalable Parallel Functional Programs -- A Theory of Probabilistic Contracts -- Composition and Merging of Assume-Guarantee Contracts Are Tensor Products -- Avoiding distractions in parity games -- No Need to Be Stubborn: Partial-Order Reduction for GPU Model Checking Revisited -- SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols: An Update -- CommonUppRoad: A Framework of Formal Modelling, Verifying, and Visualisation of Autonomous Vehicles. 330 $aThe ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. . 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15221 606 $aSoftware engineering 606 $aMachine theory 606 $aComputer science 606 $aComputers, Special purpose 606 $aComputer systems 606 $aMicroprogramming 606 $aSoftware Engineering 606 $aFormal Languages and Automata Theory 606 $aComputer Science Logic and Foundations of Programming 606 $aSpecial Purpose and Application-Based Systems 606 $aComputer System Implementation 606 $aControl Structures and Microprogramming 615 0$aSoftware engineering. 615 0$aMachine theory. 615 0$aComputer science. 615 0$aComputers, Special purpose. 615 0$aComputer systems. 615 0$aMicroprogramming. 615 14$aSoftware Engineering. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aComputer System Implementation. 615 24$aControl Structures and Microprogramming. 676 $a005.1 700 $aMargaria$b Tiziana$01784909 701 $aSteffen$b Bernhard$0878620 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910983492003321 996 $aLeveraging Applications of Formal Methods, Verification and Validation. Specification and Verification$94316532 997 $aUNINA