Nantilus
Trustworthy global computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Symposium on Trustworthy Global Computing, TGC 2012, held in Newcastle upon Tyne, UK, in September 2012. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and se...
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Trustworthy global computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers / edited by Catuscia Palamidessi, Mark D. Ryan. |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2013 Cham : Springer Nature |
| Collection : | Theoretical computer science and general issues (Online) ; 8191 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Note sur l'URL : | Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex |
| Condition d'utilisation et de reproduction : | Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |
| Sujets : | |
| Documents associés : | Autre format:
Trustworthy Global Computing Autre format: Trustworthy Global Computing |
| LEADER | 04715clm a2200697 4500 | ||
|---|---|---|---|
| 001 | PPN172430518 | ||
| 003 | http://www.sudoc.fr/172430518 | ||
| 005 | 20241001155400.0 | ||
| 010 | |a 978-3-642-41157-1 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-41157-1 |2 DOI |
| 035 | |a (OCoLC)870330543 | ||
| 035 | |a Springer978-3-642-41157-1 | ||
| 035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-41157-1 | ||
| 035 | |a Springer-11645-978-3-642-41157-1 | ||
| 100 | |a 20131018d2013 u u0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Trustworthy global computing |e 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers |f edited by Catuscia Palamidessi, Mark D. Ryan. | |
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
| 214 | 2 | |a Cham |c Springer Nature |d 2013 | |
| 225 | 0 | |a Theoretical Computer Science and General Issues |x 2512-2029 |v 8191 | |
| 330 | |a This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Symposium on Trustworthy Global Computing, TGC 2012, held in Newcastle upon Tyne, UK, in September 2012. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 14 submissions. The papers cover a wide range of topics in the area of global computing and reliable computation in the so-called global computers, i.e., those computational abstractions emerging in large-scale infrastructures such as service-oriented architectures, autonomic systems and cloud computing, providing frameworks, tools, algorithms and protocols for designing open-ended, large-scale applications and for reasoning about their behavior and properties in a rigorous way. | ||
| 359 | 1 | |a From Rational Number Reconstruction to Set Reconciliation and File Synchronization -- Affine Refinement Types for Authentication and Authorization -- Seamless Distributed Computing from the Geometry of Interaction -- A Beginner s Guide to the DeadLock Analysis Model -- Formal Modeling and Reasoning about the Android Security Framework -- A Type System for Flexible Role Assignment in Multiparty Communicating Systems -- A Multiparty Multi-session Logic -- LTS Semantics for Compensation-Based Processes -- Linking Unlinkability -- Towards Quantitative Analysis of Opacity -- An Algebra for Symbolic Diffie-Hellman Protocol Analysis -- Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability -- Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus. | |
| 371 | 0 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | |
| 371 | 0 | |a Accès soumis à abonnement pour tout autre établissement | |
| 371 | 1 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales |c chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | |
| 410 | | | |0 200114832 |t Theoretical computer science and general issues (Online) |x 2512-2029 |v 8191 | |
| 452 | | | |t Trustworthy Global Computing |b Texte imprimé |y 9783642411564 | |
| 452 | | | |t Trustworthy Global Computing |b Texte imprimé |y 9783642411588 | |
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Data Encryption | |
| 610 | 2 | |a Management of Computing and Information Systems | |
| 610 | 2 | |a Algorithm Analysis and Problem Complexity | |
| 610 | 2 | |a Computer Communication Networks | |
| 610 | 2 | |a Software Engineering | |
| 610 | 2 | |a Coding and Information Theory | |
| 610 | 1 | |a Cryptology. | |
| 610 | 2 | |a Algorithms | |
| 610 | 2 | |a IT Operations | |
| 615 | |a @Computer Science |n 11645 |2 Springer | ||
| 676 | |a 005.82 |v 23 | ||
| 680 | |a QA76.9.A25 | ||
| 700 | 1 | |a Palamidessi |b Catuscia |4 651 | |
| 701 | 1 | |a Ryan |b Mark D. |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20240814 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20240603 |g AACR2 | |
| 856 | 4 | |u https://doi.org/10.1007/978-3-642-41157-1 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://doi.org/10.1007/978-3-642-41157-1 |z Accès sur la plateforme de l'éditeur (Springer) | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-3BZQSQVJ-L |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 441099901:830862218 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-41157-1 | |
| 915 | |5 441099901:830862218 |b SPRING13-01189 | ||
| 930 | |5 441099901:830862218 |b 441099901 |j g | ||
| 991 | |5 441099901:830862218 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:17 | ||
| 997 | |a NUM |b SPRING13-01189 |d NUMpivo |e EM |s d | ||
| 998 | |a 979030 | ||