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 |
![]() |


