1 option
Trustworthy Global Computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers / edited by Rocco De Nicola, Davide Sangiorgi.
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, 3705.
- Theoretical Computer Science and General Issues ; 3705
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer networks.
- Computer programming.
- Operating systems (Computers).
- Programming languages (Electronic computers).
- Software Engineering/Programming and Operating Systems.
- Software Engineering.
- Computer Communication Networks.
- Programming Techniques.
- Operating Systems.
- Programming Languages, Compilers, Interpreters.
- Local Subjects:
- Software Engineering/Programming and Operating Systems.
- Software Engineering.
- Computer Communication Networks.
- Programming Techniques.
- Operating Systems.
- Programming Languages, Compilers, Interpreters.
- Physical Description:
- 1 online resource (VIII, 371 pages).
- Edition:
- First edition 2005.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
- System Details:
- text file PDF
- Contents:
- Harmony: The Art of Reconciliation
- A Theory of Noninterference for the ?-Calculus
- Typed Processes in Untyped Contexts
- Model-Based Testing of Cryptographic Protocols
- A General Name Binding Mechanism
- Types for Security in a Mobile World
- History-Based Access Control for Distributed Processes
- Programming Cryptographic Protocols
- A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange
- A Formal Semantics for Protocol Narrations
- web ? at Work
- Concurrency Among Strangers
- The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library
- A Practical Formal Model for Safety Analysis in Capability-Based Systems
- Mixin Modules for Dynamic Rebinding
- A Distributed Object-Oriented Language with Session Types
- Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies
- Automated Analysis of Infinite Scenarios
- Namespace Logic: A Logic for a Reflective Higher-Order Calculus
- Erratum.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-31483-7
- 9783540314837
- 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.