• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% rabatt på allt med kod NYSTART10 →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI

    Trustworthy Global Computing

    8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

    AvMartín Abadi,Alberto Lluch Lafuente

    Häftad, Engelska, 2014

    Del 8358 i serien Lecture Notes in Computer Science

    562 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics in the area of global computing and safe and reliable computation. They are organized in topical sections on security, π-calculus, information flow, models, specifications and proofs and quantitative analysis.

    Produktinformation

    • Utgivningsdatum:2014-03-19
    • Mått:155 x 235 x 19 mm
    • Vikt:522 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:331
    • Förlag:Springer International Publishing AG
    • ISBN:9783319051185

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT
    • Nätverk och kommunikation inom Data och IT
    • Tillämpad datateknik inom Data och IT

    Innehållsförteckning

    • Content-Driven Reputation for Collaborative Systems.- Challenges for Quantitative Analysis of Collective Adaptive Systems.- The Scribble Protocol Language.- Dynamic Measurement and Protected Execution: Model and Analysis.- Security Correctness for Secure Nested Transactions.- Types for Resources in Psi-Calculi.- A Sorted Semantic Framework for Applied Process Calculi.- Static Deadlock Resolution in the Pi-Calculus.- Fine-Grained and Coarse-Grained Reactive Noninterference.- Information Flow Analysis for Valued-Indexed Data Security Compartments.- A Library For Removing Cache-Based Attacks in Concurrent Information Flow Systems.- Models, Specifications and Proofs.- Specification of Asynchronous Component Systems with Modal I/O-Petri Nets.- A Formal Model for the Deferred Update Replication Technique.- Studying Operational Models of Relaxed Concurrency.- Certificates and Separation Logic.- On-the-Fly Fast Mean-Field Model-Checking.- Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations.