rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Trustworthy Global Computing
    sub title: 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
  name:
    name part: Maffei, Matteo.
    role:
      role term: editor.
  name:
    name part: Tuosto, Emilio.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2014
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XV, 193 p. 50 illus. online resource.
  abstract: This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on Trustworthy Global Computing, TGC 2014, held in Rome, Italy, in September 2014. The 15 revised full papers presented were carefully reviewed and selected from 23 submissions. The Symposium on Trustworthy Global Computing focuses on frameworks, tools, algorithms, and protocols for open-ended, large-scale systems and applications, and on rigorous reasoning about their behavior and properties.
  table of contents: Generalized bisimulation metrics (Abstract) -- Electronic voting: how to ensure privacy and verifiability -- A Secure Information Flow Monitor for a Core of DOM – Introducing References and Live Primitives -- Finding a Forest in a Tree -- Automata for Analyzing Service Contracts -- On duality relations for session types -- Characterizing Testing Preorders for Broadcasting Distributed Systems -- Tests for establishing security properties -- A class of automata for the verification of infinite, resource-allocating Behaviours -- Multiparty Session Nets -- Interaction and causality in digital signature exchange protocols -- Session Types with Gradual Typing -- Corecursion and Non-Divergence in Session-Typed Processes -- Trust-based Enforcement of Security Policies.
  note: edited by Matteo Maffei, Emilio Tuosto.
  subject:
    topic: Computer science
  subject:
    topic: Computer organization
  subject:
    topic: Computer security
  subject:
    topic: Mathematical logic
  subject:
    topic: Computer Science
  subject:
    topic: Systems and Data Security
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Information Systems Applications (incl. Internet)
  subject:
    topic: Computer Systems Organization and Communication Networks
  classification: QA76.9.A25
  classification: 005.8
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 8902
  identifier: 9783662459171
  identifier: http://dx.doi.org/10.1007/978-3-662-45917-1
  record info:
    record creation date: 141222
    record change date: 20151204182715.0
    record identifier: 978-3-662-45917-1