<font color="#003366" face="Arial, Helvetica, sans–serif"><font color="#003366" face="Arial, Helvetica, sans–serif"> The sixth International Workshop on Formal Aspects in Security and Trust (FAST2009) aims at continuing the successful efforts of the previous FAST workshops, fostering the cooperation among researchers in the areas of security and trust. As computing and network infrastructures become increasingly pervasive, and as they carry increasing economic activity, society needs well matched security and trust mechanisms. These interactions increasingly span several enterprises and involve loosely structured communities of individuals. Participants in these activities must control interactions with their partners based on trust policies and business logic. Trust–based decisions effectively determine the security goals for shared information and for access to sensitive or valuable resources. FAST focuses on the formal models of security and trust that are needed to state goals and policies for these interactions. We also seek new and innovative techniques for establishing consequences of these formal models. Implementation approaches for such techniques are also welcome.</font></font>
Abbrevation
FAST
City
Eindhoven
Country
Netherlands
Deadline Paper
Start Date
End Date
Abstract