Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics in the area of global computing and safe and reliable computation. They are organized in topical sections on security, pi-calculus, information flow, models, specifications and proofs and quantitative analysis.

Zusammenfassung

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics in the area of global computing and safe and reliable computation. They are organized in topical sections on security, π-calculus, information flow, models, specifications and proofs and quantitative analysis.

Produktdetails

• Mitarbeit: Martín Abadi (Herausgeber), Alberto Lluch Lafuente (Herausgeber), Martí Abadi (Herausgeber), Lluch Lafuente (Herausgeber), Lluch Lafuente (Herausgeber)
• Verlag: Springer, Berlin
• Sprachen: Englisch
• Inhalt: Buch
• Produktform: Taschenbuch
• Erscheinungsdatum: 31.01.2014
• Thema: Naturwissenschaften, Medizin, Informatik, Technik > Informatik, EDV > Informatik
• EAN: 9783319051185
• ISBN: 978-3-31-905118-5
• Anzahl Seiten: 331
• Illustration: X, 331 p. 60 illus.
• Abmessung (Verpackung): 15.6 x 23.9 x 2.1 cm
• Gewicht (Verpackung): 523 g
• Serie: Lecture Notes in Computer Science > 8358; Theoretical Computer Science and General Issues; Lecture Notes in Computer Science / Theoretical Computer Science and General Issues > .8358; Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Themen: C, computer science, Information Retrieval, 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, Formal Languages and Automata Theory