Trustworthy Global Computing 6th International Symposium Revised Selected Papersde Roberto BruniMateriasComputer securityComputer networks, security measuresComputer software, validationComputer software, verificationCongressesComputer networksSecurity measuresComputer softwareValidationVerification