FAST CfP: Workshop on Formal Aspects in Security & Trust

Workshop on Formal Aspects in Security & Trust (FAST)
                       Pisa, Italy, September 8 2003


FAST is a satellite event of the 12th Formal Methods Europe Symposium (FME)

The first international Workshop on Formal Aspects in Security&Trust (FAST) 
wishes to contribute to the aggregation of 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 demands for a coherent framework of 
concepts, tools and methodologies to enable user' trust&confidence on the underlying 
communication 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 by 
developing trust models effective but also easily comprehensible and manageable by 

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 demand 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.

Original papers on formal aspects of security and trust are very welcome.
Suggested submission topics include, but are not limited to:

- Security and trust policy models
- Security protocol design and analysis
- Formal models of trust and reputation
- Logics for security and trust
- Distributed trust management systems
- Trust-based reasoning
- Digital assets protection
- Data protection
- Privacy and ID issues
- Information flow analysis
- Language-based security
- Security and trust aspects in ubiquitous computing
- Validation/analysis tools
- Web service security/trust/privacy
- Grid security
- Security risk assessment
- Case studies

Theo Dimitrakos, CLRC
Fabio Martinelli, IIT-CNR

Paper Submission: 07 July 2003
Author Notification:  07 August 2003
Final version due: 27 August 2003
Workshop:  08 September   2003

Two formats of submissions are sought:

 1) short papers, up to 5 pages,
 2) full papers, up to 15 pages,

with 11pt or larger font and reasonable margins and line spacing. Author's full name, 
address, fax number, and e-mail address must appear in the cover page. Submissions 
should clearly state the category (1 or 2) and must be sent by e-mail as .ps (or .pdf) 
file to:

Theo Dimitrakos (T.Dimitrakos@rl.ac.uk), CLRC
Fabio Martinelli (Fabio.Martinelli@iit.cnr.it),  IIT-CNR

The proceedings will be distributed at the workshop and will appear as a technical 
report of IIT-CNR. A selection of the best papers will be invited for
possible publication in a special issue of Journal of Theoretical Computer Science.