Автор: Frank Piessens; Luca Vigan? Название: Principles of Security and Trust ISBN: 3662496348 ISBN-13(EAN): 9783662496343 Издательство: Springer Рейтинг: Цена: 6098.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Information Flow.- Faceted Dynamic Information Flow via Control and Data Monads.- Asymmetric Secure Multi-execution with Declassification.- A Taxonomy of Information Flow Monitors.- On Improvements of Low-Deterministic Security.- Tool Demonstration: JOANA.- Models and Applications.- Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.- Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels.- Correct Audit Logging: Theory and Practice.- The Value of Attack-Defence Diagrams.- Protocols.- Composing protocols with randomized actions.- Bounding the number of agents, for equivalence too.- AIF-omega: Set-Based Protocol Abstraction with Countable Families.- Computational Soundness Results for Stateful Applied pi Calculus.
Автор: Flemming Nielson; David Sands Название: Principles of Security and Trust ISBN: 303017137X ISBN-13(EAN): 9783030171377 Издательство: Springer Рейтинг: Цена: 6097.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.
Автор: Sara Foresti Название: Security and Trust Management ISBN: 331924857X ISBN-13(EAN): 9783319248578 Издательство: Springer Рейтинг: Цена: 5854.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th International Workshop on Security and Trust Management, STM 2015, held in Vienna, Austria, in September 2015, in conjunction with the 20th European Symposium Research in Computer Security, ESORICS 2015. and security analysis, risk management and usability.
Автор: Dimitris Gritzalis; Javier Lopez Название: Emerging Challenges for Security, Privacy and Trust ISBN: 3642101763 ISBN-13(EAN): 9783642101762 Издательство: Springer Рейтинг: Цена: 18289.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 24th IFIP TC 11 International Information Security Conference, SEC 2009, held in Pafos, Cyprus, in May 2009. In this title, the papers are organized in topical sections on identification and authentication, threats and attacks, applications of cryptography and information hiding, and trusted computing.
Название: Security and trust issues in internet of things ISBN: 036749065X ISBN-13(EAN): 9780367490652 Издательство: Taylor&Francis Рейтинг: Цена: 26030.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The purpose of this edited book is to present and showcase the basic fundamentals, applications, and integration of both IoT and Blockchain. The trend of applying Blockchain to IoT is rapidly growing because it helps to overcome various challenges faced by IoT from smart manufacturing to unmanned aerial vehicles.
Автор: Milan Petkovic; Willem Jonker Название: Security, Privacy, and Trust in Modern Data Management ISBN: 3642089267 ISBN-13(EAN): 9783642089268 Издательство: Springer Рейтинг: Цена: 17074.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The vision of ubiquitous computing and ambient intelligence describes a world of technology which is present anywhere, anytime in the form of smart, sensible devices that communicate with each other and provide personalized services.
Автор: Theo Tryfonas Название: Human Aspects of Information Security, Privacy and Trust ISBN: 3319584596 ISBN-13(EAN): 9783319584591 Издательство: Springer Рейтинг: Цена: 12196.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Clinical and Health Information Systems.- Mobile-Application based Cognitive Behavior Therapy (CBT) for Identifying and Managing Depression and Anxiety.- The structure of clinical judgment making based on nurse's visual observation. -Towards a Clinical Support System for the Early Diagnosis of Sepsis. -APSEN: Pre-Screening Tool for Sleep Apnea in a Home Environment. - Tacit process for obtaining nursing skills: Focusing on nurse's sense of patients close to death.- Conversion of JPG Image into DICOM Image Format with One Click Tagging.- Eye Movement Differences between Novices and Expert Surgeons in Laparoscopic Surgery Simulator.- Evaluation Methods to Support Health Information Systems Development: a Framework Supported in Literature and Practical Experience. -Software Requirements Engineering in Digital Healthcare: A Case Study of the Diagnosis and Monitoring of Autism Spectrum Disorders in Children in the UK's National Health Service. - Compare the Receiver Operating Characteristic (ROC) and Linear Discriminant Analysis (LDA) for Acromegaly Detection by Three-Dimensional Facial Measurements.- Evaluation of Functionality and Usability on Diabetes Mobile Applications: A Systematic Literature Review.- Health and Aging. - Abductive cognitive support for (semantic) dementia persons.- Age and Computer Skill Level Difference in Aging-Centered Design: A Case Study of a Social Type Website. -Application and Effect of Media Therapy to the Recreational Activities at Group Homes Reduction of Emotional Pain of Elderly People with Dementia. -Investigation of Quantification of the Suitable Photos for Conversation Assistance for Elderly and Youth.- Generating Personalized Dialogue Towards Daily Counseling System for Home Dementia Care. -Color Affects the Usability of Smart Phone Icon for the Elderly. -Capturing Activities of Daily Living for Elderly at Home based on Environment Change and Speech Dialog.- F0 Feature Analysis of Communication between Elderly Individuals for Health Assessment. -A Study of Photographs as Communication Content for Intergenerational Conversation Support System. - Health Data Analytics and Visualization. - Measuring Insight Into Multi-dimensional Data from a Combination of a Scatterplot Matrix and a HyperSlice Visualization.- Effective visualization of long term health data to support behavior change. -That's so meta! Usability of a Hypergraph-based Discussion Model. - FlowChart Tool for Decision Making in Interdisciplinary Research Cooperation.- Using EEG Data Analytics to Measure Meditation. -Enhance the Use of Medical Wearables through Meaningful Data Analytics. - User-driven Semantic Classification for the Analysis of Abstract Health and Visualization Tasks.- EEG Features Extraction and Classification of Rifle Shooters in the Aiming Period. - Design for Safety.- Safety does not happen by accident, can gaming help improve occupational health and safety in organizations. - Autonomous robotic system for pipeline integrity inspection.- Interactive design of digital car dashboard interfaces. -Emergency Usability Lab - Concept to evaluate the usability of healthcare systems in emergencies.- Watch out! User-centered Feedback Design for a V2X-Smartphone App.- Safety Performance Evaluation Model for Airline Flying Fleets.- Deciphering Workers' Safety Attitudes by Sensing Gait Patterns.- Driving Process' Analysis and HUD design based on Conditional Autonomous Traffic Safety. -ECG Identification Based on PCA-RPROP.
Описание: This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of concurrent objects in the presence of asynchrony and process crashes.
Автор: Gilles Pesant Название: Principles and Practice of Constraint Programming ISBN: 3319232185 ISBN-13(EAN): 9783319232188 Издательство: Springer Рейтинг: Цена: 10733.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed conference proceedings of the 21st International Conference on Principles and Practice of Constraint Programming, CP 2015, held in Cork, Ireland, in August/September 2015.
Описание: This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of concurrent objects in the presence of asynchrony and process crashes.
Автор: Christian Schulte Название: Principles and Practice of Constraint Programing-CP 2013 ISBN: 3642406262 ISBN-13(EAN): 9783642406263 Издательство: Springer Рейтинг: Цена: 6097.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013.
Автор: Roberto Baldoni; Nicolas Nisse; Maarten van Steen Название: Principles of Distributed Systems ISBN: 3319038494 ISBN-13(EAN): 9783319038490 Издательство: Springer Рейтинг: Цена: 6097.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 17th International Conference on Principles of Distributed Systems, OPODIS 2013, held in Nice, France, in December 2013. Papers were sought soliciting original research contributions to the theory, specification, design and implementation of distributed systems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
