SEFM 2010 Workshop: FAST 2010

7th International Workshop on Formal Aspects of Security & Trust   Date: Date 16-17 September 2010
Time: 9.00 - 18.00
Room: 27

Overview Of Fast

The seventh International Workshop on Formal Aspects of Security and Trust (FAST2010) aims at continuing the successful efforts of the previous FAST workshops, fostering cooperation among researchers in the areas of security and trust.

Computing and network infrastructures have become pervasive, and now they carry a great deal of economic activity. Thus, society needs well matching security and trust mechanisms. 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.

Topics of the workshop include (but are not limited to):

  • Formal models for security, trust and reputation
  • Security protocol design and analysis
  • Logics for security and trust
  • Trust-based reasoning
  • Distributed trust management systems
  • Digital asset protection
  • Data protection
  • Privacy and ID management issues
  • Information flow analysis
  • Language-based security
  • Security and trust aspects in ubiquitous computing
  • Validation/Analysis tools
  • Web/Grid services security/trust/privacy
  • Security and risk assessment
  • Resource and access control
  • Case studies

For more details see


  • Pierpaolo Degano, Università di Pisa, Italy
  • Sandro Etalle, TU Eindhoven and Univ. of Twente
  • Joshua Guttman, Worcester Polytechnic Inst., USA SEFM 2010 School
Home    |    News   |   Downloads   |   Sitemap   |  
Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /project/FMT/sefm2010/include/footer.php on line 83
  |   rss feed   |   css 2.1   |   last updated: 24 Sep, 2010 - 13:18