Trustworthy Computing and Services, Yuyu Yuan; Xu Wu; Yueming Lu

Автор: Lu Yueming; Wu Xu; Zhang Xi
Название: Trustworthy Computing and Services
ISBN: 366247400X ISBN-13(EAN): 9783662474006
Издательство: Springer
Рейтинг:
Цена: 10342.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the International Standard Conference on Trustworthy Computing and Services, ISCTCS 2014, held in Beijing, China, in November 2014. The topics covered are architecture for trusted computing systems; trusted mobile networks; trusted cloud and other trusted services and applications.

Автор: Franz
Название: Trust and Trustworthy Computing
ISBN: 3319455710 ISBN-13(EAN): 9783319455716
Издательство: Springer
Рейтинг:
Цена: 5870.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 9th International Conference on Trust and Trustworthy Computing, TRUST 2016, held in Vienna, Austria, in August 2016. The 8 full papers presented in this volume were carefully reviewed and selected from 25 submissions.

Автор: Gilles Barthe; C?dric Fournet
Название: Trustworthy Global Computing
ISBN: 3540786627 ISBN-13(EAN): 9783540786627
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Third Symposium TGC 2007 Sophia-Antipolis France November 5-6 2007 Revised Selected Papers.

Автор: Ismail Khalil; Teddy Mantoro
Название: Trustworthy Ubiquitous Computing
ISBN: 9462390576 ISBN-13(EAN): 9789462390577
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Trustworthy Ubiquitous Computing covers aspects of trust in ubiquitous computing environments.

Автор: Mauro Conti; Matthias Schunter; Ioannis Askoxylaki
Название: Trust and Trustworthy Computing
ISBN: 3319228455 ISBN-13(EAN): 9783319228457
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 8th International Conference on Trust and Trustworthy Computing, TRUST 2015, held in Heraklion, Crete, Greece, in August 2015. The 15 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 42 submissions.

Автор: Qing Wang; Vahid Garousi; Raymond Madachy; Dietmar
Название: Trustworthy Software Development Processes
ISBN: 3642016790 ISBN-13(EAN): 9783642016790
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: International Conference on Software Process ICSP 2009 Vancouver Canada May 1617 2009 Proceedings. .

Автор: Jonathan P. Bowen; Zhiming Liu; Zili Zhang
Название: Engineering Trustworthy Software Systems
ISBN: 331956840X ISBN-13(EAN): 9783319568409
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), 2016, Chongqing, China, these contributions, distilled from six courses and two seminars, overview leading-edge research in methods and tools for computer system engineering.

Автор: Reif
Название: Trustworthy Open Self-Organising Systems
ISBN: 3319291998 ISBN-13(EAN): 9783319291994
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This booktreats the computational use of social concepts as the focal point for therealisation of a novel class of socio-technical systems, comprising smartgrids, public display environments, and grid computing.Thesesystems are composed of technical and human constituents that interact witheach other in an open environment. Heterogeneity, large scale, and uncertaintyin the behaviour of the constituents and the environment are the rule ratherthan the exception.Ensuringthe trustworthiness of such systems allows their technical constituents tointeract with each other in a reliable, secure, and predictable way while theirhuman users are able to understand and control them. 'TrustworthyOpen Self-Organising Systems' contains a wealth of knowledge, fromtrustworthy self-organisation mechanisms, to trust models, methods to measure auser's trust in a system, a discussion of social concepts beyond trust, andinsights into the impact open self-organising systems will have on society.

Автор: Yunchuan Sun; Houbing Song
Название: Secure and Trustworthy Transportation Cyber-Physical Systems
ISBN: 9811038910 ISBN-13(EAN): 9789811038914
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book comprehensively reviews the cyber security and privacy issues in transportation cyber-physical systems (TCPSs). It then discusses in detail the principles and metrics of evaluating safety and privacy in TCPSs and elaborates the verification and analysis of secure, robust and trustworthy TCPSs.

Автор: Achim Brucker; Fabiano Dalpiaz; Paolo Giorgini; Pe
Название: Secure and Trustworthy Service Composition
ISBN: 3319135171 ISBN-13(EAN): 9783319135175
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: They provide service developers and providers with a secure service development framework that includes methods, tools, and security services supporting the design-time creation and run-time composition of secure dynamic services, where both the services and the threats are evolving.

Автор: Zhiming Liu; Zili Zhang
Название: Engineering Trustworthy Software Systems
ISBN: 3319296272 ISBN-13(EAN): 9783319296272
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: (In-)formal methods: The Lost Art.- Program refinement, perfect secrecy and information flow.- The Z Notation: Whence the Cause and Whither the Course?.- Model-Driven Design of Object and Component Systems.- Cyber-Physical Systems Engineering.- Combining Formal and Informal Methods in the Design of Spacecrafts.

Автор: Markus Helfert; Donald Ferguson; Victor M?ndez Mu?
Название: Cloud Computing and Services Science
ISBN: 3319625934 ISBN-13(EAN): 9783319625935
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes extended, revised and selected papers from the 6th International Conference on Cloud Computing and Services Science, CLOSER 2016, held in Rome, Italy, in April 2016.