logseq/pages/hls__Book_Springer_forReview-2023_1689866773410_0.md

file:: Book_Springer_forReview-2023_1689866773410_0.pdf file-path:: ../assets/Book_Springer_forReview-2023_1689866773410_0.pdf

• making people yet another components of distributed systems themselves. ls-type:: annotation hl-page:: 5 hl-color:: green id:: 64bb7ced-5493-4d1c-9443-f714709e9e83
• [?] ls-type:: annotation hl-page:: 5 hl-color:: red id:: 64bb7d97-32e2-4f72-a23b-ccf561b17ccd hl-stamp:: 1690008986067
• Distribute system ls-type:: annotation hl-page:: 5 hl-color:: red id:: 64bb7dc5-a7aa-45a2-bd06-14d9f6507a0d hl-stamp:: 1690009392653
• high quality standards of these systems do not find the counterpart in the security and privacy domains ls-type:: annotation hl-page:: 5 hl-color:: green id:: 64bb7dec-8b31-4734-878b-d9e5d4010423
• little trust in the correctness and reliability of the systems and services they use every day ls-type:: annotation hl-page:: 6 hl-color:: green id:: 64bb7e83-61c1-43d2-927b-f79af1cc1c08
• The book presented different certification scheme then focusing on Common Criteria, the de-facto standard for software system certification. ls-type:: annotation hl-page:: 6 hl-color:: green id:: 64bb7f58-4f16-4d0c-a4b9-de93a0575b83 hl-stamp:: 1690009434937
• o proactively contribute to the emerging EU framework for the ICT certification of products and services and to carry out the drawing up of candidate certification schemes in line with the Cybersecurity Act, and additional services and tasks ls-type:: annotation hl-page:: 6 hl-color:: green id:: 64bb7fa1-e37c-485e-9098-e5092304931a
• In this book, we consider the huge research effort devoted to find methods for checking distributed system quality that may result in sound security, safety and dependability guarantees ls-type:: annotation hl-page:: 6 hl-color:: purple id:: 64bb7fb0-9d7b-45a5-bf83-2cd1fedb2074 hl-stamp:: 1690009522439
• What can we certify today? How can we address the peculiarities of distributed systems? ls-type:: annotation hl-page:: 6 hl-color:: purple id:: 64bb7fec-8792-4fee-983a-aacfa00492b5
• How can we trust a certificate to be accurate across distributed systems changes? ls-type:: annotation hl-page:: 6 hl-color:: purple id:: 64bb7ff3-50cc-4607-ae38-176112acb502
• How can we measure our trust on dynamic and evolving systems? ls-type:: annotation hl-page:: 6 hl-color:: purple id:: 64bb7ffc-3671-464a-9d6a-e4dd405adf47
• What can be done at design time to integrate development and certification processe ls-type:: annotation hl-page:: 6 hl-color:: purple id:: 64bb8003-d0cd-4c7c-9724-1d8ba7e5ef77
• How can we address composite systems? ls-type:: annotation hl-page:: 6 hl-color:: purple id:: 64bb8006-ed2e-434e-b26c-a402fc9f2242
• Security Certification of Modern Distributed Systems ls-type:: annotation hl-page:: 1 hl-color:: green id:: 64c7560c-62bb-4123-9526-7971a71e7525