Abstract
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.
| Original language | English |
|---|
| Number of pages | 331 |
|---|---|
| ISBN (Print) | 978-3-319-05118-5 |
| ISBN (Electronic) | 978-3-319-05119-2 |
| Publication status | Published - 2014 |
| Externally published | Yes |
| Event | 8th International Symposium on Trustworthy Global Computing - Buenos Aires, Argentina Duration: 30 Aug 2013 → 31 Aug 2013 Conference number: 8 |
| Series | Lecture Notes in Computer Science |
|---|---|
| Volume | 8358 |
| ISSN | 0302-9743 |
Conference
| Conference | 8th International Symposium on Trustworthy Global Computing |
|---|---|
| Number | 8 |
| Country | Argentina |
| City | Buenos Aires |
| Period | 30/08/2013 → 31/08/2013 |
Cite this
Abadi, M., & Lluch Lafuente, A. (Eds.) (2014). Proceedings of the 8th Symposium on Trustworthy Global Computing (TGC 2013). Lecture Notes in Computer Science, Vol.. 8358