Trustworthy Global Computing: 8th International Symposium, Tgc 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers 2014 Edition Contributor(s): Abadi, Martín (Editor), Lluch Lafuente, Alberto (Editor) |
|
ISBN: 3319051180 ISBN-13: 9783319051185 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: March 2014 |
Additional Information |
BISAC Categories: - Computers | Security - General - Mathematics | Logic - Computers | Information Technology |
Dewey: 004.6 |
Series: Lecture Notes in Computer Science / Theoretical Computer Sci |
Physical Information: 0.72" H x 6.14" W x 9.21" (1.06 lbs) 331 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |