Formal Aspects in Security and Trust

Third International Workshop, Fast 2005, Newcastle Upon Tyne, Uk, July 18-19, 2005, Revised Selected Papers

By: Theo Dimitrakos (Editor), Fabio Martinelli (Editor), Peter Y.A. Ryan (Editor)

Write A Review

Paperback | 23 March 2006

At a Glance

Paperback
276 Pages

Dimensions(cm)
23.5 x 15.88 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

Voting technologies and trust	p. 1
On the formal analyses of the Zhou-Gollmann non-repudiation protocol	p. 5
Formal reasoning about a specification-based intrusion detection for dynamic auto-configuration protocols in ad hoc networks	p. 16
A formal approach for reasoning about a class of Diffie-Hellman protocols	p. 34
Eliminating implicit information leaks by transformational typing and unification	p. 47
Abstract interpretation to check secure information flow in programs with input-output security annotations	p. 63
Opacity generalised to transition systems	p. 81
Unifying decidability results on protection systems using simulations	p. 96
Proof obligations preserving compilation	p. 112
A logic for analysing subterfuge in delegation chains	p. 127
Probable innocence revisited	p. 142
Relative trustworthiness	p. 158
Secure untrusted binaries - provably!	p. 171
Normative specification : a tool for trust and security	p. 187
Type-based distributed access control vs. untyped attackers	p. 203
A security management information model derivation framework : from goals to configurations	p. 217
On anonymity with identity escrow	p. 235
Towards verification of timed non-repudiation protocols	p. 244
Table of Contents provided by Blackwell. All Rights Reserved.

Formal Aspects in Security and Trust

Third International Workshop, Fast 2005, Newcastle Upon Tyne, Uk, July 18-19, 2005, Revised Selected Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Data Warehousing

Designing Data-Intensive Applications

The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Building a Scalable Data Warehouse with Data Vault 2.0

Apache Iceberg: The Definitive Guide

Data Lakehouse Functionality, Performance, and Scalability on the Data Lake

SQL Cookbook

Query Solutions and Techniques for All SQL Users 2nd Edition

Data Governance: The Definitive Guide

People, Processes, and Tools to Operationalize Data Trustworthiness

Database Internals

A Deep Dive Into How Distributed Data Systems Work

Data Strategy

How to Use Data and Artificial Intelligence to Transform Your Business

Data Science on AWS

Implementing End-To-End, Continuous AI and Machine Learning Pipelines

Practical Time Series Analysis

Prediction with Statistics and Machine Learning

SQL for Data Analysis

Advanced Techniques for Transforming Data Into Insights

Kafka: The Definitive Guide

Real-Time Data and Stream Processing at Scale

Data Science for Sustainable Development Goals

Indian Case Studies

In a Nutshell (O'Reilly)

In a Nutshell (O'Reilly)

Data-Centric Artificial Intelligence for Multidisciplinary Applications

Infonomics

How to Monetize, Manage, and Measure Information as an Asset for Competitive Advantage

Intro to Python for Computer Science and Data Science

Learning to Program with AI, Big Data and The Cloud, Global Edition

Fundamentals of Data Observability

Implement Trustworthy End-To-End Data Solutions

Amazon Redshift: The Definitive Guide

Jump-Start Analytics Using Cloud Data Warehousing

Architecting an Apache Iceberg Lakehouse

A Scalable, Open-Source Data Platform

Health Information Processing

11th China Health Information Processing Conference, CHIP 2025, Dongguan, China, November 22-24, 2025, Proceedings

ML and Generative AI in the Data Lakehouse

Building and Deploying AI Applications at Scale

Vector Databases

A Practical Introduction

Ai-Ready Data Blueprints

From Raw Data to Ai-Driven Innovation

Real-Time Intelligence with Microsoft Fabric

Empowering Data-Driven Decisions in the Era of AI

This product is categorised by