“Conceptual Model and Architecture of MAFTIA”
A. Adelsbach, C. Cachin, Sadie Creese, Yves Deswarte, K. Kursawe, J.-C. Laprie, D. Powell, B. Randell, James Riordan, Peter Ryan, William Simmionds, R. J. Stroud, Paulo Veríssimo, M. Waidner, Andreas Wespi
University of Lisbon, DI-FCUL, Tech. Rep. TR-03-1, Feb. 2003.http://hdl.handle.net/10455/2978.
Abstract: This deliverable builds on the work reported in (MAFTIA 2000) and (Powell and Stroud 2001). It contains a further refinement of the MAFTIA conceptual model and a revised discussion of the MAFTIA architecture. It also introduces the work done in MAFTIA on verification and assessment of security properties, which is reported on in more detail in (Adelsbach and Creese 2003)