Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers

This book constitutes the thoroughlyrefereed post-conference proceedings of the 10th International Symposium onTrustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September2015.
The 10 revised full papers presentedwere carefully reviewed and selected from 19 submissions. The Symposium onTrustworthy Global Computing focuses on frameworks, tools, algorithms, andprotocols for open-ended, large-scale systems and applications, and on rigorousreasoning about their behavior and properties.

Summary

This book constitutes the thoroughly
refereed post-conference proceedings of the 10th International Symposium on
Trustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September
2015.
The 10 revised full papers presented
were carefully reviewed and selected from 19 submissions. The Symposium on
Trustworthy Global Computing focuses on frameworks, tools, algorithms, and
protocols for open-ended, large-scale systems and applications, and on rigorous
reasoning about their behavior and properties.

Product details

• Assisted by: Pierre Ganty (Editor), Michele Loreti (Editor)
• Publisher: Springer, Berlin
• Content: Book
• Product form: Paperback / Softback
• Publication date: 26.01.2016
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT
• EAN: 9783319287652
• ISBN: 978-3-31-928765-2
• Pages: 163
• Illustrations: IX, 163 p. 30 illus.
• Dimensions (packing): 15.5 x 23.4 x 1 cm
• Weight (packing): 277 g
• Series: Lecture Notes in Computer Science > 9533; Theoretical Computer Science and General Issues > 9533
• Subjects: Computersicherheit, C, Computerhardware, Netzwerksicherheit, Algorithms, Optimization, angewandte informatik, datensicherheit, Security, Theoretische Informatik, Sicherheit / Datensicherheit, Datensicherung, computer science, Information Retrieval, CloudComputing, Information Systems Applications (incl. Internet), Systems and Data Security, Data and Information Security, Computer and Information Systems Applications, Application software, Network Security, Computer security, Mathematical theory of computation, Internet searching, Mathematical logic, Computer Engineering and Networks, Computer Systems Organization and Communication Networks, Computer organization, Mathematical Logic and Formal Languages, Computer networking & communications, Semantics, Formal Languages and Automata Theory, trust frameworks, networkprotocols, DynamicAnalysis, modelchecking, Softwareverification, Temporallogic, formalmethodsandtheoryofsecurity, networkalgorithms, logicandverification, service-orientedarchitectures, QuantitativeVerification, formalsecuritymodels, informationflowcontrol, trustframeworks, automatedstaticanalysis, distributedprogramminglanguages