Toggle Main Menu Toggle Search

Open Access padlockePrints

Conceptual Model and Architecture

Lookup NU author(s): Dr Robert Stroud

Downloads


Abstract

This deliverable builds upon the work reported in MAFTIA deliverable D1. It contains a refinement of the MAFTIA conceptual model and a discussion of the MAFTIA architecture. It also includes the work done in WP6 on verification and assessment of security properties, which is reported on in more detail in MAFTIA deliverable D4.


Publication metadata

Author(s): Powell D, Stroud RJ (eds)

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2001

Pages: 84

Print publication date: 01/11/2001

Source Publication Date: November 2001

Report Number: 749

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/749.pdf

Notes: Project IST-1999-11583 MAFTIA deliverable D2 Contributors: André Adelsbach (Universität des Saarlandes); Dominique Alessandri (IBM ZRL); Christian Cachin (IBM ZRL); Sadie Creese (Qinetiq); Marc Dacier (IBM ZRL); Yves Deswarte (LAAS-CNRS); Klause Kursawe (IBM ZRL); Jean-Claude Laprie (LAAS-CNRS); Birgit Pfitzmann (Universität des Saarlandes); David Powell (LAAS-CNRS); Brian Randell (University of Newcastle upon Tyne); James Riordan (IBM ZRL); Robert Stroud (University of Newcastle upon Tyne); Paulo Veríssimo (Universidade de Lisboa); Michael Waidner (IBM ZRL); Ian Welch (University of Newcastle upon Tyne); Andreas Wespi (IBM ZRL)


Share