Search Results

Trustworthy Global Computing

Download or Read eBook Trustworthy Global Computing PDF written by Rocco De Nicola and published by Springer Science & Business Media. This book was released on 2005-12-13 with total page 379 pages. Available in PDF, EPUB and Kindle.
Trustworthy Global Computing
Author :
Publisher : Springer Science & Business Media
Total Pages : 379
Release :
ISBN-10 : 9783540300076
ISBN-13 : 3540300074
Rating : 4/5 (76 Downloads)

Book Synopsis Trustworthy Global Computing by : Rocco De Nicola

Book excerpt: This book constitutes the thoroughly refereed post-proceedings of the International Symposium on Trustworthy Global Computing, TGC 2005, held in Edinburgh, UK, in April 2005, and colocated with the events of ETAPS 2005. The 11 revised full papers presented together with 8 papers contributed by the invited speakers were carefully selected during 2 rounds of reviewing and improvement from numerous submissions. Topical issues covered by the workshop are resource usage, language-based security, theories of trust and authentication, privacy, reliability and business integrity access control and mechanisms for enforcing them, models of interaction and dynamic components management, language concepts and abstraction mechanisms, test generators, symbolic interpreters, type checkers, finite state model checkers, theorem provers, software principles to support debugging and verification.


Trustworthy Global Computing Related Books

Scroll to top