1 option
Trustworthy Global Computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers / edited by Martín Abadi, Alberto Lluch Lafuente.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 8358.
- Theoretical Computer Science and General Issues ; 8358
- Language:
- English
- Subjects (All):
- Computer security.
- Logic, Symbolic and mathematical.
- Application software.
- Computer organization.
- Systems and Data Security.
- Mathematical Logic and Formal Languages.
- Information Systems Applications (incl. Internet).
- Computer Systems Organization and Communication Networks.
- Local Subjects:
- Systems and Data Security.
- Mathematical Logic and Formal Languages.
- Information Systems Applications (incl. Internet).
- Computer Systems Organization and Communication Networks.
- Physical Description:
- 1 online resource (X, 331 pages) : 60 illustrations.
- Edition:
- First edition 2014.
- Contained In:
- Springer eBooks
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2014.
- System Details:
- text file PDF
- Summary:
- 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.
- Contents:
- Content-Driven Reputation for Collaborative Systems
- Challenges for Quantitative Analysis of Collective Adaptive Systems
- The Scribble Protocol Language
- Dynamic Measurement and Protected Execution: Model and Analysis
- Security Correctness for Secure Nested Transactions
- Types for Resources in Psi-Calculi
- A Sorted Semantic Framework for Applied Process Calculi
- Static Deadlock Resolution in the Pi-Calculus
- Fine-Grained and Coarse-Grained Reactive Noninterference
- Information Flow Analysis for Valued-Indexed Data Security Compartments
- A Library For Removing Cache-Based Attacks in Concurrent Information Flow Systems
- Models, Specifications and Proofs
- Specification of Asynchronous Component Systems with Modal I/O-Petri Nets
- A Formal Model for the Deferred Update Replication Technique
- Studying Operational Models of Relaxed Concurrency
- Certificates and Separation Logic
- On-the-Fly Fast Mean-Field Model-Checking
- Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-319-05119-2
- 9783319051192
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.