“Conceptual Model and Architecture of MAFTIA”
From Navigators
(Difference between revisions)
Line 6: | Line 6: | ||
|month=feb | |month=feb | ||
|year=2003 | |year=2003 | ||
+ | |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] | ||
|institution=University of Lisbon, DI-FCUL | |institution=University of Lisbon, DI-FCUL | ||
|note=http://hdl.handle.net/10455/2978 | |note=http://hdl.handle.net/10455/2978 |
Revision as of 12:57, 15 January 2013
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]
Download paper
Download Conceptual Model and Architecture of MAFTIA
Export citation
Project(s): Project:MAFTIA
Missing ResearchLine