Security and Trust

Conference object, Part of book or chapter of book English OPEN
Costa, Gabriele; Martinelli, Fabio; Issarny, Valérie; Saadi, Rachid; Matteucci, Ilaria;
  • Publisher: HAL CCSD
  • Related identifiers: doi: 10.1007/978-3-642-21455-4_12
  • Subject: Trust | Security | SxCxT | [SCCO.COMP]Cognitive science/Computer science | [ SCCO.COMP ] Cognitive science/Computer science
    • ccs: ccs:C.2.0 Security and protection | ccs:C.2.1 Network Architecture and Design

Security and Trust offer two different prospectives on the problem of the correct interaction among software components. For many aspects, they represent complementary viewpoints. Moreover, in the study of the verification of non-functional properties of programs they r... View more
Share - Bookmark