Trustworthy Global Computing可信赖的全球计算/会议文集

书籍目录

Harmony: The Art of ReconciliationA Theory of Noninterference for the π-CalculusTyped Processes in Untyped ContextsModel-Based Testing of Cryptographic ProtocolsA General Name Binding MechanismTypes for Security in a Mobile WorldHistory-Based Access Control for Distributed ProcessesProgramming Cryptographic ProtocolsA Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets ExchangeA Formal Semantics for Protocol Narrationswebπ at WorkConcurrency Among StrangersThe Modelling and Analysis of OceanStore Elements Using the CSP Dependability LibraryA Practical Formal Model for Safety Analysis in Capability-Based SystemsMixin Modules for Dynamic RebindingA Distributed Object-Oriented Language with Session TypesEngineering Runtime Requirements-Monitoring Systems Using MDA TechnologiesAutomated Analysis of Infinite ScenariosNamespace Logic: A Logic for a Reflective Higher-Order CalculusAuthor Index

作者简介

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可信赖的全球计算/会议文集下载