04716 am 22009493u 450 99646558310331620230125185215.03-319-89722-510.1007/978-3-319-89722-6(CKB)4100000003359650(DE-He213)978-3-319-89722-6(MiAaPQ)EBC5578031(Au-PeEL)EBL5578031(OCoLC)1066185056(oapen)https://directory.doabooks.org/handle/20.500.12854/56986(PPN)226696596(EXLCZ)99410000000335965020180413d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierPrinciples of Security and Trust[electronic resource] 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /edited by Lujo Bauer, Ralf Küsters1st ed. 2018.Springer Nature2018Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XIV, 347 p. 85 illus.) Security and Cryptology ;108043-319-89721-7 Information Flow and Non-Intereference -- What's the Over/Under? Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels.This book is Open Access under a CC BY licence.Security and Cryptology ;10804Computer securityComputersData structures (Computer science)Computer system failuresSystems and Data Securityhttps://scigraph.springernature.com/ontologies/product-market-codes/I28060Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Computing Milieuxhttps://scigraph.springernature.com/ontologies/product-market-codes/I24008Data Structures and Information Theoryhttps://scigraph.springernature.com/ontologies/product-market-codes/I15009System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049security analysiscryptographyprivacyworld wide websemanticsprogramming languagesformal specificationprogram compilersspecificationsformal logiccomputer scienceseparation logicformal methodsdata privacysecurity systemssoftware engineeringcomputer software selection and evaluationinternetverificationauthenticationComputer security.Computers.Data structures (Computer science).Computer system failures.Systems and Data Security.Theory of Computation.Computing Milieux.Data Structures and Information Theory.System Performance and Evaluation.005.8Ralf Küstersauth1354886Bauer Lujoedthttp://id.loc.gov/vocabulary/relators/edtKüsters Ralfedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465583103316Principles of Security and Trust3358589UNISA07571nam 2202221z- 450 991055730580332120210501(CKB)5400000000042798(oapen)https://directory.doabooks.org/handle/20.500.12854/68606(oapen)doab68606(oapen)68606(EXLCZ)99540000000004279820202105d2020 |y 0engurmn|---annantxtrdacontentcrdamediacrrdacarrierAdvanced Technology Related to Radar Signal, Imaging, and Radar Cross-Section MeasurementBasel, SwitzerlandMDPI - Multidisciplinary Digital Publishing Institute20201 online resource (570 p.)3-03936-142-2 3-03936-143-0 Radar-related technology is mainly processed within the time and frequency domains but, at the same time, is a multi-dimensional integrated system including a spatial domain for transmitting and receiving electromagnetic waves. As a result of the enormous technological advancements of the pioneers actively discussed in this book, research and development in multi-dimensional undeveloped areas is expected to continue. This book contains state-of-the-art work that should guide your research.History of engineering and technologybicssc2-D PPS3-D deformationadaptive reduced methodaircraft surveillancealtitude measurement accuracyanalytical approachantenna arrayatomic normautomatic guided vehicleBayesian inversionbistatic inverse synthetic aperture radarbistatic MIMO radarblock coherence measureblock sparse Bayesian learningCLEAN techniqueclustering methodsclutter reductionclutter suppressioncoherent integrationcoherent pulse trainscomprehensive SARconductivityconstant modulus sequencesconstitutive parameterscontrast target detectioncorrelation propertiesCramer-Rao lower boundcritical heightcrosshole ground penetrating radar (GPR)curved orbitdeception jammingdechirpingdenoising detectionderamping-based approachdifferential SAR tomographydilation morphologydirect position determinationdiscrete cosine transform (DCT)discrete scatterer modelDOA estimationDoA/DoD estimationDOD/DOA estimationDopplerDoppler ratedoppler tolerancedouble negativedual-banddual-polarized radarelectromagnetic wave attributeenergy spectrum methodentropy thresholdingFMCW radio altimeterforward modelfractional Fourier transform (FRFT)frequency shifting modulationgenerative adversarial netsgenerator and discriminatorGPRguided filterheight pulseshigh reliabilityhigh switching speedhyperbolic tangent functionimage fusionimage processingintegral cubic phase function (ICPF)interrupted samplinginterrupted transmitting and receiving (ITR)inverse synthetic aperture ladar (ISAL)inverse synthetic aperture radar (ISAR)ISARK-L transformleast square errorlinear geometry distortionlocal correlationlocal gradient methodlow control voltagelow-rank approximationlunar penetrating radarman-made targetsmaneuvering targetmaneuvering target detectionmarine radarmaritime traffic monitoringMarkov chain Monte Carlo (MCMC)maximum likelihood estimatormetamaterial absorbermethodological errormicro-Dopplermicro-motion feature extractionmicrowave imagingMIMO radarmodeling errormotion parameter estimationmultiparametric SAR observationmultipath ghost suppressionmutual couplingn/anarrowband interference separationnon-uniform fast Fourier transform (NUFFT)non-uniform gridoff-grid sparse problemorthogonal matching pursuitparameter estimationpassive bistatic radarPBR (passive bistatic radar)permittivityphased array radarpolarimetric decompositionprior informationpulse radarradar echo cancellationradar jammingradon transformrelative water contentremote sensingRF MEMSrotating targetS-transformationsaliency detectionsaliency preprocessing LLCSARscene classificationseasonal permafrostsecond-order phase difference (SoPD)seislet transformsensing matrix optimizationseries reversionsimultaneous polarimetric radarsingle moving sensorsingular value decomposition (SVD)small wind streakSNRspacebornesparse recoverysparse representationspeckle noise filteringsquinted SARsubspace extractionswitchsynchrosqueezingsynthetic aperture radarsynthetic aperture radar (SAR)Synthetic Aperture Radar (SAR)through-wall imagingthrough-wall radar imagingtime-frequency analysistomographyultra-wide frequency deviationultrahigh resolutionunmanned aerial vehiclewake detection and analysiswideband noise interferencewind direction retrievalHistory of engineering and technologyKobayashi Hirokazuedt1322263Moriyama ToshifumiedtKobayashi HirokazuothMoriyama ToshifumiothBOOK9910557305803321Advanced Technology Related to Radar Signal, Imaging, and Radar Cross-Section Measurement3034725UNINA