@prefix prodottidellaricerca: . @prefix istituto: . @prefix prodotto: . istituto:CDS044 prodottidellaricerca:prodotto prodotto:ID156635 . @prefix pubblicazioni: . @prefix unitaDiPersonaleInterno: . unitaDiPersonaleInterno:MATRICOLA7856 pubblicazioni:autoreCNRDi prodotto:ID156635 . @prefix modulo: . modulo:ID2828 prodottidellaricerca:prodotto prodotto:ID156635 . @prefix rdf: . @prefix retescientifica: . prodotto:ID156635 rdf:type retescientifica:ProdottoDellaRicerca , prodotto:TIPO1715 . @prefix rdfs: . prodotto:ID156635 rdfs:label "Proceedings of the 3rd International Workshop on Formal Aspects in Security and Trust (FAST2005) (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)"@en . @prefix xsd: . prodotto:ID156635 pubblicazioni:anno "2005-01-01T00:00:00+01:00"^^xsd:gYear . @prefix skos: . prodotto:ID156635 skos:altLabel "
Dimitrakos T., Martinelli F., Ryan P., Schneider S. (2005)
Proceedings of the 3rd International Workshop on Formal Aspects in Security and Trust (FAST2005)
"^^rdf:HTML ; pubblicazioni:autori "Dimitrakos T., Martinelli F., Ryan P., Schneider S."^^xsd:string ; pubblicazioni:note "Technical Report IIT TR-13/2005"^^xsd:string ; pubblicazioni:descrizioneSinteticaDelProdotto "The present report contains the pre-proceedings of the third international Workshop on Formal Aspects in Security and Trust (FAST2005), held in Newcastle upon Tyne, 18-19 July 2005. FAST is an event affliated with the Formal Methods 2005 Congress (FM05). The third international Workshop on Formal Aspects in Security and Trust (FAST2005) aims at continuing the successful effort of the previous two FAST workshop editions for fostering the cooperation among researchers in the areas of security and trust. The new challenges offered by the so-called ambient intelligence space, as a future paradigm in the information society, demand for a coherent and rigorous framework of concepts, tools and methodologies to provide user\u0092s trust&confidence on the underlying communication/interaction infrastructure. It is necessary to address issues relating to both guaranteeing security of the infrastructure and the perception of the infrastructure being secure. In addition, user confidence on what is happening must be enhanced by developing trust models effective but also easily comprehensible and manageable by users."^^xsd:string ; pubblicazioni:supporto "Altro"^^xsd:string ; pubblicazioni:titolo "Proceedings of the 3rd International Workshop on Formal Aspects in Security and Trust (FAST2005)"^^xsd:string ; prodottidellaricerca:prodottoDi modulo:ID2828 , istituto:CDS044 ; pubblicazioni:autoreCNR unitaDiPersonaleInterno:MATRICOLA7856 . @prefix parolechiave: . prodotto:ID156635 parolechiave:insiemeDiParoleChiave . parolechiave:insiemeDiParoleChiaveDi prodotto:ID156635 .