Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/en/node/7038' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/en/node/7038' in /dati/webiit-old/includes/database.pgsql.inc on line 159 FAST2010 - The 7th International Workshop on Formal Aspects of Security & Trust | IIT - CNR - Istituto di Informatica e Telematica
IIT Home Page CNR Home Page

FAST2010 - The 7th International Workshop on Formal Aspects of Security & Trust

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.

FAST2010 is co-located with
The 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM2010)
CNR, Pisa, Italy,
13-18 September, 2010

http://www.iit.cnr.it/FAST2010/


From 13/09/2010 to 18/09/2010