Trustworthy Global Computing : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers - Roberto Bruni

Instant online reading.
Don't wait for delivery!

Trustworthy Global Computing

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

By: Roberto Bruni (Editor), Vladimiro Sassone (Editor)

Write A Review

Paperback | 22 May 2012

At a Glance

Paperback
256 Pages

Dimensions(cm)
22.86 x 15.24 x 1.27

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Algorithms & Data Structures Computer Security Data Encryption Reference, Information & Interdisciplinary Subjects Research & Information Coding Theory & Cryptology Computer Science Human-Computer Interaction

Information Architecture Computer Hardware Network Hardware Business & Management Business Mathematics & Systems

A Reputation System for Multirole Sessions	p. 1
Asynchronous Distributed Monitoring for Multiparty Session Enforcement	p. 25
E-Mobility as a Challenge for New ICT Solutions in the Car Industry	p. 46
On the Existence of Nash Equilibria in Strategic Search Games	p. 58
Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language	p. 73
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes	p. 89
Constraints for Service Contracts	p. 104
Security of the Enhanced TCG Privacy-CA Solution	p. 121
Context Aware Specification and Verification of Distributed Systems	p. 142
Orchestrating Tuple-Based Languages	p. 160
Transactional Correctness for Secure Nested Transactions (Extended Abstract)	p. 179
Orchestrating Unreliable Services: Strategic and Probabilistic Approaches to Realiability	p. 197
On Correlation Sets and Correlation Exceptions in ActiveBPEL	p. 212
Conditional Information Flow Policies and Unwinding Relations	p. 227
Author Index	p. 243
Table of Contents provided by Ingram. All Rights Reserved.

Trustworthy Global Computing

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

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Data Encryption

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Computer Security

Art and Science

Foundations of Information Security

Security Risk Management Body of Knowledge

Wiley Series in Systems Engineering and Management

Cybersecurity All-in-One For Dummies

For Dummies

Rinsed

From Cartels to Crypto: How the Tech Industry Washes Money for the World's Deadliest Crooks

Blockchain

Blueprint for a New Economy

Crafting an Information Security Playbook

Cryptography and Network Security

8th Edition - Principles and Practice, Global Edition

Principles of Information Security

7th edition

CompTIA Security+

8th Edition - Guide to Network Security Fundamentals

Quantum Leaps

How Maths is Shaping the Future

The Web Application Hacker's Handbook

Finding and Exploiting Security Flaws 2E

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Black Hat Python, 2nd Edition

Python Programming for Hackers and Pentesters

Hackers & Painters

Supremacy

AI, ChatGPT and the Race that Will Change the World

Container Security

Fundamental Technology Concepts That Protect Containerized Applications

Linux Security Cookbook

Cookbooks Ser.

Linux Server Hacks, Volume Two

Tips & Tools for Connecting, Monitoring, and Troubleshooting

Practical Lock Picking Second Edition

A Physical Penetration Tester's Training Guide

Behind the AI Mask

Protecting Your Business from Deepfakes

Locked Up

Cybersecurity Threat Mitigation Lessons from A Real-World LockBit Ransomware Response

This product is categorised by