> Congress / Advance Programme / Workshops / Ws4

Ws4: Formal Aspects in Security and Trust (FAST)

26- 27 August 2004

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

General co-Chairs

Dimitrakos (BITD-CCLRC, UK)
Fabio Martinelli (IIT-CNR, Italy)

Scope of the Workshop

The second international Workshop on Formal Aspects in Security and Trust (FAST2004) aims at continuing the successful effort of FAST2003 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 framework of concepts, tools and methodologies to enable user's trust and confidence on the underlying computing infrastructure. These need 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. This may be achieved by developing trust models effective but also easily comprehensible and manageable by users.

The complexity and scale of deployment of emerging ICT systems based on web service and grid computing concepts also necessitates the investigation of new, scalable and more flexible foundational models of enforcing pervasive security across organizational borders and in situations where there is high uncertainty about the identity and trustworthiness of the participating networked entities (including users, services and resources). The increasing need of building activities sharing different resources managed with different policies demands for new and business enabling models of trust between members of virtual communities including virtual organizations that span across the boundaries of physical enterprises and loosely structured communities of individuals.

The two-day workshop will comprise a main track of peer reviewed technical contributions, two keynote speakers, and a number of invited panels on selected topics (Trust Management frameworks, Autonomic Security and Contract Management models, Grid VO Security) organised so as to facilitate dialogue between invited experts and the audience.

A special issue is planned on the International Journal of Information Security where selected papers presented at FAST 2004 will be invited for possible publication.

Topics

Suggested submission topics 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 assets and data protection
Privacy and ID issues
Information flow analysis
Language-based security
Security and trust aspects in ubiquitous computing
Validation/Analysis tools
Web/GRID services security/trust/privacy
Security risk assessment
Case studies

Invited Speakers

Roberto Gorrieri, University of Bologna, Italy
Christos Nikolaou, University of Crete, Greece

Contact

fast2004@iit.cnr.it