OVERVIEW


New: FAST is now a two-days workshop (September 8-9)

The first international Workshop on Formal Aspects in Security and Trust (FAST) aims 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 demand for a coherent framework of concepts, tools and methodologies to enable user's 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 trustworthyness 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.

 

IMPORTANT DATES

 

Paper Submission: 12 July 2003 


Author Notification: 07 August 2003


Final version due: 27 August 2003


Workshop: 8-9 September 2003

 

PROGRAMME COMMITTEE

· Patrizia Asirelli, INTAS
· Bjørn Axel Gran, IFE
· Elisa Bertino, University of Milan
· David W. Chadwick, University of Salford
· Pravir Chawdhry, IPSC-JRC
· Theo Dimitrakos, CCLRC
· Sandro Etalle, University of Twente
· Simon Foley, University College Cork
· Andrew Jones, King's College (London)
· Emil Lupu, Imperial College (London)
· Heiko Mantel, DFKI
· Fabio Martinelli, IIT-CNR
· Brian Matthews, CCLRC
· Catherine Meadows, NRL
· Paddy Nixon, University of Strathclyde
· Peter Ryan, University of Newcastle
· Andrei Sabelfeld, Cornell University
· Babak Sadighi Firozabadi, SICS
· Pierangela Samarati, University of Milan
· Ketil Stølen, SINTEF

INVITED SPEAKERs


· Pierpaolo Degano, University of Pisa
· Andy Gordon, Microsoft Research
· Audun Jøsang, DSTC

 

ORGANIZERS


· Theo Dimitrakos, BITD-CCLRC
· Fabio Martinelli, IIT-CNR


LOCAL ORGANIZERS

· Adriana Lazzaroni IIT-CNR

CONTACTS

IIT - CNR
Via G.Moruzzi, 1
56124 Pisa - Italy
e-mail: fast2003@iit.cnr.it 
tel: +39 050 315 2646
fax: +39 050 315 2593

 

PAPER SUBMISSION

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

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 both the workshop organizers:

Theo Dimitrakos (T.Dimitrakos@rl.ac.uk) BITD-CCLRC
Fabio Martinelli (fabio.martinelli@iit.cnr.it) IIT-CNR

 

PROCEEDINGS

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

 

PROGRAM (Preliminary)

 

Monday, September 8

09:15-10:15 A Semantics for Web Services Authentication
Andy Gordon (Invited Talk)
10:15-10:45 A Logical Model for Security of Web Services
Hristo Koshutanski and Fabio Massacci (Short paper)
10:45-11:15 Coffee break
11:15-11:45 Analysing Topologies of Transitive Trust
Audun Jøsang, Elizabeth Gray, and Michael Kinateder
11:45-12:15 Reasoning about Credential-based Systems
Nathalie Chetcuti and Fabio Massacci
12:15-12:45 Revocation in the Privilege Calculus
Babak Sadighi Firozabadi and Marek Sergot
13:00-14:15 Lunch Break
14:15-15:15 Subjective Logic
Audun Jøsang (Invited Talk)
15:15-15:45 Information Integrity Policies
Peng Li , Yun Mao, and Steve Zdancewic
15:45-16:15 Coffee break
16:15-16:45 I'm not Signing that!
James Heather and Daniel Hill
16:45-17:15 The Attacker in Ubiquitous Computing Environments: Formalising the Threat Model
Sadie Creese, Michael Goldsmith, Bill Roscoe, and Irfan Zakiuddin

Tuesday, September 9

09:15-10:15 Automatic Validation of Protocols by Static Analysis
Pierpaolo Degano (Invited Talk)
10:15-10:45 Coffee break
10:45-11:15 Belief and Reliance in Fault Tolerance
Geraint Price
11:15-11:45 Security and Trust in Digital Voting Systems
Jeremy W. Bryans, Peter Y. A. Ryan (Short Paper)
11:45-12:15 Anonymity with Identity Escrow
Lindsay Marshall and Carlos Molina-Jiminez (Short Paper)
12:15-12:45 Defining Authentication in a Trace Model
C.J.F. Cremers, S. Mauw, and E.P. de Vink
12:45-14:00 Lunch Break
14:00-14:30 Nested Timing Attacks
Damas P. Gruska and Andrea Maggiolo-Schettini
14:30-15:00 Spyder, a Security Model Checker
Gabriele Lenzini, Stefania Gnesi, and Diego Latella
15:00-15:30 A Formal Model for Trust Lifecycle Management
Waleed Wagealla, Marco Carbone, Colin English, Sotirios Terzis, Helen Lowe, and Paddy Nixon
15:45-16:15 Coffee Break

 

GRANTS

IIT-CNR offers some grants for partially covering the expenses of the registration fee and accommodation for Ph.D. students and young researchers. Applications should be sent by e-mail to fast2003@iit.cnr.it. Applications should at least contain name, gender, birth date, nationality, current student/working position and affiliation, and contact information (email address, fax, postal address).

Deadline for grant applications is August 13, 2003.
Nofitication for grant applications is August 17, 2003.

 

REGISTRATION

The registration to the Workshop must be done through the FME2003 Symposium.
Please see the FME2003 Registration web page.
Some hints: the registration fee is 80 EURO (N.B: it is still for a day-workshop). Select WS1 for indicating FAST. A surcharge of 40 EURO is due if one registers only for affiliated events without attending the full conference FME.

ACCOMMODATION

For the accomodation please see the FME2003 Accomodation web page.

 

WORKSHOP VENUE

The Workshop will be held at:

CNR – Pisa Research Area
Conference Centre
Via G. Moruzzi 1
56124 Pisa
Room: to be defined

For further information on how to get to Pisa and to the CNR Conference Centre please see: http://fme03.isti.cnr.it/fme-venue.htm