[Prev][Next][Index][Thread]
FAST CfP: Workshop on Formal Aspects in Security & Trust
Workshop on Formal Aspects in Security & Trust (FAST)
Pisa, Italy, September 8 2003
WEB SITE
http://www.iit.cnr.it/FAST2003
FAST is a satellite event of the 12th Formal Methods Europe Symposium (FME)
OVERVIEW
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
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 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
WORKSHOP ORGANIZERs
Theo Dimitrakos, CLRC
Fabio Martinelli, IIT-CNR
IMPORTANT DATES
Paper Submission: 07 July 2003
Author Notification: 07 August 2003
Final version due: 27 August 2003
Workshop: 08 September 2003
SUBMISSION INSTRUCTIONS
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
PUBLICATION
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.