PUMA
Istituto di Informatica e Telematica     
Martinelli F. Towards an integrated formal analysis for security and trust. Technical report, 2004.
 
 
Abstract
(English)
We aim at defining an integrated framework for the (automated) analysis for security and trust in complex and dynamic scenarios. In particular, we show how the same machinery used for the formal verification of security protocols may be used to analyze access control policies based on trust management.
Subject Formal analysis
Security
Trust
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