TY - BOOK
T1 - Proceedings of the 8th Symposium on Trustworthy Global Computing (TGC 2013)
A2 - Abadi, Martín
A2 - Lluch Lafuente, Alberto
N1 - Conference code: 8
PY - 2014
Y1 - 2014
N2 - 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.
AB - 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.
M3 - Book
SN - 978-3-319-05118-5
T3 - Lecture Notes in Computer Science
BT - Proceedings of the 8th Symposium on Trustworthy Global Computing (TGC 2013)
T2 - 8<sup>th</sup> International Symposium on Trustworthy Global Computing
Y2 - 30 August 2013 through 31 August 2013
ER -