My Library

University LibraryCatalogue

Limit search to items available for borrowing or consultation
Record 8 of 8
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Author TGC (Symposium) (7th : 2012 : Newcastle upon Tyne, England)

Title Trustworthy global computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised selected papers / Catuscia Palamidessi, Mark D. Ryan (eds.).

Published Heidelberg : Springer, [2013]


Location Call No. Status
Physical description 1 online resource (x, 213 pages) : illustrations.
Series Lecture Notes in Computer Science, 0302-9743 ; 8191
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 8191.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Springer Lecture Notes in Computer Science
Bibliography Includes bibliographical references and author index.
Contents From Rational Number Reconstruction to Set Reconciliation and File Synchronization / Antoine Amarilli [and others] -- Affine Refinement Types for Authentication and Authorization / Michele Bugliesi [and others] -- Seamless Distributed Computing from the Geometry of Interaction / Olle Fredriksson and Dan R. Ghica -- A Beginner's Guide to the DeadLock Analysis Model / Elena Giachino and Cosimo Laneve -- Formal Modeling and Reasoning about the Android Security Framework / Alessandro Armando, Gabriele Costa and Alessio Merlo -- A Type System for Flexible Role Assignment in Multiparty Communicating Systems / Pedro Baltazar [and others] -- A Multiparty Multi-session Logic / Laura Bocchi, Romain Demangeon and Nobuko Yoshida -- LTS Semantics for Compensation-Based Processes / Roberto Bruni and Anne Kersten Kauer -- Linking Unlinkability / Mayla Brusó [and others] -- Towards Quantitative Analysis of Opacity / Jeremy W. Bryans, Maciej Koutny and Chunyan Mu -- An Algebra for Symbolic Diffie-Hellman Protocol Analysis / Daniel J. Dougherty and Joshua D. Guttman -- Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability / Silvia S. Pelozo and Pedro R. D'Argenio -- Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus / Lili Xu.
Summary This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Symposium on Trustworthy Global Computing, TGC 2012, held in Newcastle upon Tyne, UK, in September 2012. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 14 submissions. The papers cover a wide range of topics in the area of global computing and reliable computation in the so-called global computers, i.e., those computational abstractions emerging in large-scale infrastructures such as service-oriented architectures, autonomic systems and cloud computing, providing frameworks, tools, algorithms and protocols for designing open-ended, large-scale applications and for reasoning about their behavior and properties in a rigorous way.
Other author Palamidessi, Catuscia, editor.
Ryan, Mark, 1962- editor.
SpringerLink issuing body.
Subject Computer security -- Congresses.
Computer networks -- Security measures -- Congresses.
Computer software -- Validation -- Congresses.
Computer software -- Verification -- Congresses.
Electronic books.
Conference papers and proceedings.
Electronic books.
Variant Title TGC 2012
ISBN 9783642411571
Standard Number 10.1007/978-3-642-41157-1