Trustworthy Global Computing
Publication year: 2005
ISBN: 978-3-540-31483-7
Internet Resource: Please Login to download book
Constitutes the post-proceedings of the International Symposium on Trustworthy Global Computing. This book covers issues, such as resource usage, language-based security, theories of trust and authentication, privacy, reliability and business integrity access control and mechanisms for enforcing them, and more.
Subject: Computer Science, Debugging, authentication, cryptographic protocols, dependable computing, distributed computin, gdistributed systems, formal methods, global computing, mobile code, mobile computing, model checking, model-based testing, modeling, programming, verification
