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: Formal Aspects in Security and Trust
    sub title: Thrid International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers
  name:
    name part: Dimitrakos, Theo.
    role:
      role term: editor.
  name:
    name part: Martinelli, Fabio.
    role:
      role term: editor.
  name:
    name part: Ryan, Peter Y. A.
    role:
      role term: editor.
  name:
    name part: Schneider, Steve.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2006
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: X, 259 p. online resource.
  abstract: This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security and Trust, FAST 2005, held in Newcastle upon Tyne, UK in July 2005. The 17 revised papers presented together with the extended abstract of 1 invited paper were carefully reviewed and selected from 37 submissions. The papers focus on formal aspects in security and trust policy models, security protocol design and analysis, formal models of trust and reputation, logics for security and trust, distributed trust management systems, trust-based reasoning, digital assets protection, data protection, privacy and ID issues, information flow analysis, language-based security, security and trust aspects in ubiquitous computing, validation/analysis tools, web service security/trust/privacy, GRID security, security risk assessment, and case studies.
  table of contents: Voting Technologies and Trust -- On the Formal Analyses of the Zhou-Gollmann Non-repudiation Protocol -- Formal Reasoning About a Specification-Based Intrusion Detection for Dynamic Auto-configuration Protocols in Ad Hoc Networks -- A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols -- Eliminating Implicit Information Leaks by Transformational Typing and Unification -- Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations -- Opacity Generalised to Transition Systems -- Unifying Decidability Results on Protection Systems Using Simulations -- Proof Obligations Preserving Compilation -- A Logic for Analysing Subterfuge in Delegation Chains -- Probable Innocence Revisited -- Relative Trustworthiness -- Secure Untrusted Binaries — Provably! -- Normative Specification: A Tool for Trust and Security -- Type-Based Distributed Access Control vs. Untyped Attackers -- A Security Management Information Model Derivation Framework: From Goals to Configurations -- On Anonymity with Identity Escrow -- Towards Verification of Timed Non-repudiation Protocols.
  note: edited by Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider.
  subject:
    topic: Computer science
  subject:
    topic: Computer communication systems
  subject:
    topic: Operating systems (Computers)
  subject:
    topic: Data encryption (Computer science)
  subject:
    topic: Information storage and retrieval
  subject:
    topic: Computers and civilization
  subject:
    topic: Management information systems
  subject:
    topic: Computer Science
  subject:
    topic: Computer Communication Networks
  subject:
    topic: Data Encryption
  subject:
    topic: Operating Systems
  subject:
    topic: Computers and Society
  subject:
    topic: Management of Computing and Information Systems
  subject:
    topic: Information Storage and Retrieval
  classification: TK5105.5-5105.9
  classification: 004.6
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 3866
  identifier: 9783540326298
  identifier: http://dx.doi.org/10.1007/11679219
  record info:
    record creation date: 100715
    record change date: 20151103123646.0
    record identifier: 978-3-540-32629-8