Description |
1 online resource (x, 241 pages) : illustrations |
Series |
Lecture notes in computer science, 1611-3349 ; 7173 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 7173. 1611-3349
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Contents |
A Reputation System for Multirole Sessions / Viviana Bono, Sara Capecchi, Ilaria Castellani and Mariangiola Dezani-Ciancaglini -- Asynchronous Distributed Monitoring for Multiparty Session Enforcement / Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda and Nobuko Yoshida -- E-Mobility as a Challenge for New ICT Solutions in the Car Industry / Bernd Werther and Nicklas Hoch -- On the Existence of Nash Equilibria in Strategic Search Games / Carme Àlvarez, Amalia Duch, Maria Serna and Dimitrios Thilikos -- Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language / Gilles Barthe and Exequiel Rivas -- Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes / Marco Bernardo -- Constraints for Service Contracts / Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini and Ugo Montanari -- Security of the Enhanced TCG Privacy-CA Solution / Liqun Chen, Ming-Feng Lee and Bogdan Warinschi -- Context Aware Specification and Verification of Distributed Systems / Liliana D'Errico and Michele Loreti -- Orchestrating Tuple-Based Languages / Rocco De Nicola, Andrea Margheri and Francesco Tiezzi -- Transactional Correctness for Secure Nested Transactions (Extended Abstract) / Dominic Duggan and Ye Wu -- Orchestrating Unreliable Services: Strategic and Probabilistic Approaches to Reliability / Joaquim Gabarro, Maria Serna and Alan Stewart -- On Correlation Sets and Correlation Exceptions in ActiveBPEL / Hernán Melgratti and Christian Roldán -- Conditional Information Flow Policies and Unwinding Relations / Chenyi Zhang |
Summary |
Annotation This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; semantics and analysis of modern programming languages; probabilistic models for concurrency; and testing and run-time verification |
Analysis |
Computer science |
|
Computer Communication Networks |
|
Software engineering |
|
Data encryption (Computer science) |
|
Coding theory |
|
Computer software |
|
Information Systems |
|
Algorithm Analysis and Problem Complexity |
|
Coding and Information Theory |
|
computerwetenschappen |
|
computer sciences |
|
informatiesystemen |
|
informatietheorie |
|
information theory |
|
algoritmen |
|
algorithms |
|
computeranalyse |
|
computer analysis |
|
gegevensbeheer |
|
data management |
|
computernetwerken |
|
computer networks |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Bibliography |
Includes bibliographical references and author index |
Notes |
Online resource; title from PDF title page (SpringerLink, viewed August 10, 2012) |
In |
Springer eBooks |
Subject |
Computer security -- Congresses
|
|
Computer networks -- Security measures -- Congresses
|
|
Computer software -- Validation -- Congresses
|
|
Computer software -- Verification -- Congresses
|
|
software.
|
|
Informatique.
|
|
Computer networks -- Security measures
|
|
Computer security
|
|
Computer software -- Validation
|
|
Computer software -- Verification
|
Genre/Form |
Conference papers and proceedings
|
|
Software.
|
Form |
Electronic book
|
Author |
Bruni, Roberto.
|
|
Sassone, Vladimiro.
|
ISBN |
9783642300653 |
|
3642300650 |
|