PUMA
Istituto di Informatica e Telematica     
Martinelli F. Formal Aspects in Security and Trust. Technical report, 2003.
 
 
Abstract
(English)
The present report contains the proceedings of the First International Workshop 'Formal Aspects in Security and Trust'(FAST) held in Pisa, September 8-9 2003. FAST is affiliated to the 12th International Formal Methods Europe Symposium (FME'03).
Subject Formal methods
Security
Trust
Management
K.6.5 Security and Protection


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional