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