LEADER 05100nam 22007455 450 001 996466180903316 005 20200704135939.0 010 $a3-030-19052-8 024 7 $a10.1007/978-3-030-19052-1 035 $a(CKB)4100000008217411 035 $a(DE-He213)978-3-030-19052-1 035 $a(MiAaPQ)EBC5926099 035 $a(PPN)236522000 035 $a(EXLCZ)994100000008217411 100 $a20190427d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFoundations of Security, Protocols, and Equational Reasoning$b[electronic resource] $eEssays Dedicated to Catherine A. Meadows /$fedited by Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XII, 239 p. 273 illus., 24 illus. in color.) 225 1 $aSecurity and Cryptology ;$v11565 311 $a3-030-19051-X 327 $aCathy Meadows: A Central Figure in Protocol Analysis -- A Long, Slow Conversation -- Key Reminiscences -- Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method -- Finding Intruder Knowledge with Cap Matching -- Robust Declassification by Incremental Typing -- JRIF: Reactive Information Flow Control for Java -- Symbolic Timed Trace Equivalence -- Symbolic Analysis of Identity-Based Protocols -- Enrich-by-Need Protocol Analysis for Diffie-Hellman -- Key Agreement via Protocols -- Privacy protocols -- A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols -- Belenios: A Simple Private and Verifiable Electronic Voting System. 330 $aThis Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019. Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has been fruitfully applied to the analysis of many protocols and protocol standards and has had an enormous influence in the field. She also developed a new temporal logic to specify protocol properties, as well as new methods for analyzing various kinds of properties beyond secrecy such as authentication and resilience under Denial of Service (DoS) attacks and has made important contributions in other areas such as wireless protocol security, intrusion detection, and the relationship between computational and symbolic approaches to cryptography. This volume contains 14 contributions authored by researchers from Europe and North America. They reflect on the long-term evolution and future prospects of research in cryptographic protocol specification and verification. . 410 0$aSecurity and Cryptology ;$v11565 606 $aData protection 606 $aComputer organization 606 $aComputers and civilization 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aSecurity$3https://scigraph.springernature.com/ontologies/product-market-codes/I28000 606 $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006 606 $aComputers and Society$3https://scigraph.springernature.com/ontologies/product-market-codes/I24040 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aData protection. 615 0$aComputer organization. 615 0$aComputers and civilization. 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 14$aSecurity. 615 24$aComputer Systems Organization and Communication Networks. 615 24$aComputers and Society. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 676 $a005.8 702 $aGuttman$b Joshua D$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLandwehr$b Carl E$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMeseguer$b José$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPavlovic$b Dusko$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466180903316 996 $aFoundations of Security, Protocols, and Equational Reasoning$92495419 997 $aUNISA LEADER 04511nam 22007095 450 001 996466694603316 005 20200704154356.0 010 $a3-540-68693-2 024 7 $a10.1007/BFb0106448 035 $a(CKB)1000000000778033 035 $a(SSID)ssj0000322358 035 $a(PQKBManifestationID)12124620 035 $a(PQKBTitleCode)TC0000322358 035 $a(PQKBWorkID)10288440 035 $a(PQKB)10618491 035 $a(DE-He213)978-3-540-68693-4 035 $a(PPN)155205242 035 $a(EXLCZ)991000000000778033 100 $a20121227d1997 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aCoronal Physics from Radio and Space Observations$b[electronic resource] $eProceedings of the CESRA Workshop Held in Nouan le Fuzelier, France, 3?7 June 1996 /$fedited by Gerard Trottet 205 $a1st ed. 1997. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997. 215 $a1 online resource (XVII, 226 p. 68 illus., 4 illus. in color.) 225 1 $aLecture Notes in Physics,$x0075-8450 ;$v483 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-62797-9 327 $aDiagnostics of energy release in the X-ray corona -- Solar flare radio and hard X-ray observations and the avalanche model -- Radio observations of the quiet sun and their implications on coronal heating -- Energy release in the solar corona -- Observations of the 3D distributions of thermal to near-relativistic electrons in the interplanetary medium by the wind spacecraft -- Coronal and interplanetary particle beams -- Coronal mass ejections and type II radio bursts -- Shock waves and coronal mass ejections -- An upgrade of nobeyama radioheliograph to a dual-frequency (17 and 34 GHz) system -- The nançay radioheliograph -- Recent developments of the solar Submm-wave telescope (SST) -- Solar astronomy and the Square Kilometer Array Interferometer -- Prospects for the solar radio telescope. 330 $aThis volume provides an overview of our current understanding of the physics related to: coronal structures and coronal heating; large-scale coronal shock waves and coronal mass ejections; particle beams in the solar corona and in the interplanetary medium; and explosive energy-release phenomena and particle acceleration. The different articles give a well-balanced presentation of relevant observations based upon various techniques, models and theories, providing a global view of these phenomena and of the underlying physics. In-situ measurements of particles and waves with ULYSSES and WIND and spectral and imaging data from SOHO and YOHKOH provide an unprecedented richness of relevant data. For their better understanding, radio observations - also included in this book - play a key role. 410 0$aLecture Notes in Physics,$x0075-8450 ;$v483 606 $aSpace sciences 606 $aObservations, Astronomical 606 $aAstronomy?Observations 606 $aAstrophysics 606 $aPhysical measurements 606 $aMeasurement    606 $aSpace Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics)$3https://scigraph.springernature.com/ontologies/product-market-codes/P22030 606 $aAstronomy, Observations and Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/P22014 606 $aAstrophysics and Astroparticles$3https://scigraph.springernature.com/ontologies/product-market-codes/P22022 606 $aMeasurement Science and Instrumentation$3https://scigraph.springernature.com/ontologies/product-market-codes/P31040 607 $aSun$xCorona$vCongresses 615 0$aSpace sciences. 615 0$aObservations, Astronomical. 615 0$aAstronomy?Observations. 615 0$aAstrophysics. 615 0$aPhysical measurements. 615 0$aMeasurement   . 615 14$aSpace Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics). 615 24$aAstronomy, Observations and Techniques. 615 24$aAstrophysics and Astroparticles. 615 24$aMeasurement Science and Instrumentation. 676 $a523.7/5 702 $aTrottet$b Gerard$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aCESRA Workshop 906 $aBOOK 912 $a996466694603316 996 $aCoronal physics from radio and space observations$91502080 997 $aUNISA LEADER 01106ojm 2200253z- 450 001 9910155710503321 005 20230913112557.0 010 $a1-5124-4587-8 035 $a(CKB)3710000000976432 035 $a(BIP)058892004 035 $a(EXLCZ)993710000000976432 100 $a20231107c2017uuuu -u- - 101 0 $aeng 200 10$aPoison Alert! : My Tips to Avoid Danger Zones at Home 210 $cLerner 215 $a1 online resource (24 p.) $cill 330 8 $aAudisee® eBooks with Audio combine professional narration and text highlighting to engage reluctant readers! Matthew's little brother doesn't know about harmful substances. But Mighty Matthew does! He rescues his brother from household poisons. That means cleaners, medicines, and houseplants. He also points out poisons in the grass and garage. Matthew knows how to stay safe at home! 517 $aPoison Alert! 700 $aBellisario$b Gina$01211200 702 $aConger$b Holli$4ill 906 $aAUDIO 912 $a9910155710503321 996 $aPoison Alert! : My Tips to Avoid Danger Zones at Home$93596054 997 $aUNINA