[TYPES] CfP: 3rd International Workshop on Formal Aspects in
Security and Trust (FAST2005)
Fabio Martinelli
Fabio.Martinelli at iit.cnr.it
Tue Mar 1 10:45:03 EST 2005
(apologizes for multiple copies)
--------------------------------------------------------------------------------------------------
3rd International Workshop on Formal Aspects in Security & Trust (FAST2005)
www.iit.cnr.it/FAST2005
Newcastle, UK, 18-19 July 2005.
FAST 2005 is affiliated with 13th Formal Methods Symposium (FM05: http://www.csr.ncl.ac.uk/fm05/)
and under the auspices of IFIP WG 1.7 "Theoretical Foundations of Security Analysis and Design"
--------------------------------------------------------------------------------------------------
- Preliminary call for papers -
OVERVIEW
The third international Workshop on Formal Aspects in Security and Trust (FAST2005)
aims at continuing the successful efforts of the first two FAST workshops 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 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.
PROGRAMME COMMITTEE (TBC)
Elisa Bertino, Purdue University, USA
John A Clark, University of york, UK
Fre'de'ric Cuppens, ENST Bretagne, France
Rino Falcone, ISTC-CNR, Italy
Roberto Gorrieri, University of Bologna, Italy
Masami Hagiya, University of Tokyo, Japan
Chris Hankin, Imperial College (London), UK
Valerie Issarny, INRIA, France
Christian Jensen, DTU, Denmark
Audun Josang, DSTC, Australia
Jan Ju''rjens, TU Mu''nchen, Germany
Igor Kotenko, SPIIRAS, Russia
Heiko Krumm, University of Dortmund, Germany
Fabio Massacci, University of Trento, Italy
Stefan Poslad, Queen Mary College, UK
Catherine Meadows, Naval Research Lab, USA
Ron van der Meyden, University of New South Wales, Australia
Andrew Myers, Cornell University, USA
Mogens Nielsen, University of Aarhus, Denmark
Indrajit Ray, Colorado State University, USA
Pierangela Samarati, University of Milan, Italy
Ketil Stolen, SINTEF, Norway
Kymie Tan, Carnegie Mellon University, USA
William H. Winsborough, George Mason University, USA
ORGANIZERS
Theo Dimitrakos, BT, UK
Fabio Martinelli, IIT-CNR, Italy
Peter Ryan, University of Newcastle, UK
Steve Schneider, University of Surrey, UK
PAPER SUBMISSION
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 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
Case studies
IMPORTANT DATES
Paper Submission: 29 April 2005
Author Notification: 10 June 2005
Pre-proceedings version: 20 June 2005
Workshop: 18-19 July 2005
Post-proceedings version: 15 September 2005
PROCEEDINGS
Formal publication of the post-proceedings of the workshop is under negotiation.
More information about the Types-list
mailing list