Principles of Security and Trust, Flemming Nielson; David Sands

Автор: Bauer
Название: Principles of Security and Trust
ISBN: 3319897217 ISBN-13(EAN): 9783319897219
Издательство: Springer
Рейтинг:
Цена: 6097.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

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.

Автор: Katsikas
Название: Trust, Privacy and Security in Digital Business
ISBN: 3319443402 ISBN-13(EAN): 9783319443409
Издательство: Springer
Рейтинг:
Цена: 5123.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 13th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2016, held in Porto, Portugal, in September 2016 in conjunction with DEXA 2016. The papers are organized in the following topical sections: security, privacy and trust in eServices;

Автор: 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.

Автор: Javier Lopez; Simone Fischer-H?bner; Costas Lambri
Название: Trust, Privacy and Security in Digital Business
ISBN: 3319644823 ISBN-13(EAN): 9783319644820
Издательство: Springer
Рейтинг:
Цена: 6707.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 14th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2017, held in Lyon, France, in August 2017 in conjunction with DEXA 2017. Cloud - IoT Security and Privacy; Security Awareness and Social Engineering - Policy Languages.

Автор: Giovanni Livraga; Chris Mitchell
Название: Security and Trust Management
ISBN: 3319680625 ISBN-13(EAN): 9783319680620
Издательство: Springer
Рейтинг:
Цена: 6707.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 13th International Workshop on Security and Trust Management, STM 2017, held in Oslo, Norway, in September 2017, in conjunction with the 22nd European Symposium Research in Computer Security, ESORICS 2017. software security and risk management;

Автор: Theo Tryfonas; Ioannis Askoxylakis
Название: Human Aspects of Information Security, Privacy, and Trust
ISBN: 3319203754 ISBN-13(EAN): 9783319203751
Издательство: Springer
Рейтинг:
Цена: 10733.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Authentication.- Cybersecurity.- Privacy, security and user behaviour.- Security in social media and smart technologies.- Security Technologies.

Автор: Clarke
Название: Principles and Theory for Data Mining and Machine Learning
ISBN: 0387981349 ISBN-13(EAN): 9780387981345
Издательство: Springer
Рейтинг:
Цена: 24392.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Extensive treatment of the most up-to-date topicsProvides the theory and concepts behind popular and emerging methodsRange of topics drawn from Statistics, Computer Science, and Electrical Engineering

Автор: Swapnajit Mittra
Название: Principles of Verilog PLI
ISBN: 1461373506 ISBN-13(EAN): 9781461373506
Издательство: Springer
Рейтинг:
Цена: 17097.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Principles of Verilog PLI is a `how to do` text on Verilog Programming Language Interface. Principles of Verilog PLI is written for the professional engineer who uses Verilog for ASIC design and verification. Principles of Verilog PLI will be also of interest to students who are learning Verilog.

Автор: Ho
Название: Principles of Noology
ISBN: 3319321110 ISBN-13(EAN): 9783319321110
Издательство: Springer
Рейтинг:
Цена: 20516.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The idea of this book is to establish a new scientific discipline, “noology,” under which a set of fundamental principles are proposed for the characterization of both naturally occurring and artificial intelligent systems. The methodology adopted in Principles of Noology for the characterization of intelligent systems, or “noological systems,” is a computational one, much like that of AI. Many AI devices such as predicate logic representations, search mechanisms, heuristics, and computational learning mechanisms are employed but they are recast in a totally new framework for the characterization of noological systems. The computational approach in this book provides a quantitative and high resolution understanding of noological processes, and at the same time the principles and methodologies formulated are directly implementable in AI systems.In contrast to traditional AI that ignores motivational and affective processes, under the paradigm of noology, motivational and affective processes are central to the functioning of noological systems and their roles in noological processes are elucidated in detailed computational terms. In addition, a number of novel representational and learning mechanisms are proposed, and ample examples and computer simulations are provided to show their applications. These include rapid effective causal learning (a novel learning mechanism that allows an AI/noological system to learn causality with a small number of training instances), learning of scripts that enables knowledge chunking and rapid problem solving, and learning of heuristics that further accelerates problem solving. Semantic grounding allows an AI/noological system to “truly understand” the meaning of the knowledge it encodes. This issue is extensively explored.This is a highly informative book providing novel and deep insights into intelligent systems which is particularly relevant to both researchers and students of AI and the cognitive sciences.

Автор: Werner v. Seelen; Konstantin Behrend
Название: Principles of Neural Information Processing
ISBN: 3319201123 ISBN-13(EAN): 9783319201122
Издательство: Springer
Рейтинг:
Цена: 12537.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

In this fundamental book the authors devise a framework that describes the working of the brain as a whole. It presents a comprehensive introduction to the principles of Neural Information Processing as well as recent and authoritative research. The books guiding principles are the main purpose of neural activity, namely, to organize behavior to ensure survival, as well as the understanding of the evolutionary genesis of the brain. Among the developed principles and strategies belong self-organization of neural systems, flexibility, the active interpretation of the world by means of construction and prediction as well as their embedding into the world, all of which form the framework of the presented description. Since, in brains, their partial self-organization, the lifelong adaptation and their use of various methods of processing incoming information are all interconnected, the authors have chosen not only neurobiology and evolution theory as a basis for the elaboration of such a framework but also systems and signal theory.

The most important message of the book and authors is: brains are evolved as a whole and a description of parts although necessary lets one miss the wood for the trees.

Автор: Bo An; Ana Bazzan; Jo?o Leite; Serena Villata; Lee
Название: PRIMA 2017: Principles and Practice of Multi-Agent Systems
ISBN: 3319691309 ISBN-13(EAN): 9783319691305
Издательство: Springer
Рейтинг:
Цена: 9756.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.