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: Theory of Security and Applications
    sub title: Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers
  name:
    name part: Mödersheim, Sebastian.
    role:
      role term: editor.
  name:
    name part: Palamidessi, Catuscia.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2012
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: IX, 225 p. online resource.
  abstract: This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Theory of Security and Applications (formely known as ARSPA-WITS), TOSCA 2011, held in Saarbrücken, Germany, in March/April 2011, in association with ETAPS 2011. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 24 submissions. The papers feature topics including various methods in computer security, including the formal specification, analysis and design of security protocols and their applications, the formal definition of various aspects of security such as access control mechanisms, mobile code security and denial-of-service attacks, and the modeling of information flow and its application.
  note: edited by Sebastian Mödersheim, Catuscia Palamidessi.
  subject:
    topic: Computer science
  subject:
    topic: Computer communication systems
  subject:
    topic: Software engineering
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Data encryption (Computer science)
  subject:
    topic: Algorithms
  subject:
    topic: Computers and civilization
  subject:
    topic: Computer Science
  subject:
    topic: Data Encryption
  subject:
    topic: Computer Communication Networks
  subject:
    topic: Computers and Society
  subject:
    topic: Algorithm Analysis and Problem Complexity
  subject:
    topic: Software Engineering
  subject:
    topic: Programming Languages, Compilers, Interpreters
  classification: QA76.9.A25
  classification: 005.82
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 6993
  identifier: 9783642273759
  identifier: http://dx.doi.org/10.1007/978-3-642-27375-9
  record info:
    record creation date: 120110
    record change date: 20151029231226.0
    record identifier: 978-3-642-27375-9