Trustworthy Global Computing

Name: Trustworthy Global Computing | 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

Roberto Bruni Vladimiro Sassone(Herausgeber*in)

Springer (Verlag)

Erschienen am 26. Juni 2012

X, 243 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-30065-3 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Title
Preface
Organization
Table of Contents
A Reputation System for Multirole Sessions
Introduction
Example
Syntax
Semantics
Typing
Types
Typing Rules
Properties
Subject Reduction
Communication Safety and Progress
Local Types for Reputations
Conclusions and Related Work
References
Asynchronous Distributed Monitoring for Multiparty Session Enforcement
Introduction
Basic Ideas through Examples
Assumptions and Background
Session Establishment through Distributed Invitations
Specifying Application-Level Protocols
Processes for Instrument Command
A Calculus for Distributed Monitoring
Multiparty Session -calculus with Distributed Initialisation
Distributed Monitors
Semantics of Monitors
Monitored Network and Global Observables
Monitored Network
The Global Observables
Labelled Transition Rules for E
Transparency, Conformance and Session Fidelity
Local Safety and Transparency
Global Safety, Fidelity and Transparency
Related Work and Conclusion
References
E-Mobility as a Challenge for New ICT Solutions in the Car Industry
Introduction
Challenges
Model Driven Requirement Analysis
Scenario Description
Formalization of an e-Mobility Process Model
Approach and Design
Concept Service Centric Car
Level of Mobility Planning
Service Components in a User-Vehicle-Infrastructure Network
Composition of Service Component Ensembles
Practical Usage of Service Component Ensembles for Mobility Planning
Future Work
References
On the Existence of Nash Equilibria in Strategic Search Games
Introduction
Definitions and Preliminaries
Finders-Share Games
Firsts-Share Games
Finders-Share Games under other Strategy Definitions
Conclusions and Open Problems
References
Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language
Introduction
A Concurrent JVM Language
Policy, Schedulers and Type System
Policy
Schedulers
Control Dependence Regions
Type System
Soundness
Type-Preserving Compilation
Source Language and Compiler
Source Type System
Preservation Proof
A Toy Example
Related Work
Conclusion
References
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes
Introduction
Sequential Markovian Processes and Bisimilarity
Abstracting from Exponentially Timed -Actions
Congruence Property
Sound and Complete Axiomatization
Exactness at Steady State
Decidability in Polynomial Time
Conclusion
Related Work
Future Work
References
Constraints for Service Contracts
Introduction
Source Calculus
Target Calculus
Constraints
Syntax and Semantics
Compilation
Optimised Semantics
Conclusion and Future Work
References
Security of the Enhanced TCG Privacy-CA Solution
Introduction
The Enhanced PCAS Protocol
Security Model for Enhanced PCAS Protocol
Oracles Needed in the Security Games
Security Games
Security Analysis
Conclusion
References
Context Aware Specification and Verification of Distributed Systems
Introduction
Klaim
MoMo: A Modal Logic for Mobility
Compositional Analysis of Klaim Nets
A Logic for Klaim contexts
Compositional Model Checking of Klaim Nets
Conclusions and Future Work
References
Orchestrating Tuple-Based Languages
Introduction
From Orc and Klaim to Korc
Korc at Work on an e-commerce Case Study
Implementation Issues
Concluding Remarks
References
Transactional Correctness for Secure Nested Transactions(Extended Abstract)
Introduction
TauZero: A Calculus for Secure Nested Transactions
Operational Semantics
Correctness
Related Work
Conclusions
References
Orchestrating Unreliable Services: Strategic and Probabilistic Approaches to Reliability
Introduction
Orchestrations, Failures
Uncertainty Profiles and A/D Games
Probabilistic Profiles
Basic Definitions and Operations
Site Probabilistic Profiles
Mediocristan and Extremistan
From Probabilistic Profiles to Site Probabilistic Profiles
From Uncertainty Profiles to Probabilistic Profiles
One Site A/D Bayesian Games
Angelic Uncertainty about Daemonic Behaviour
From Uncertainty Profiles to Bayesian Games
Conclusions
References
On Correlation Sets and Correlation Exceptions in ActiveBPEL
Introduction
Correlation Language
Operational Semantics
Correlation Exceptions
Type System for Correlation-Exception-Free Services
Related Works and Concluding Remarks
References
Conditional Information Flow Policies and Unwinding Relations
Introduction
Notions of Noninterference
Security Policies
Conditional Noninterference
Two Examples
Avoiding Inconsistencies
Encoding Intransitive Noninterference
Unwinding Relations
Unwinding for Pre-conditional Assertions
Unwinding for Channel Assertions
Related Work
Conclusion and Future Work
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken