FAST 2004: Toulouse, France

Theodosis Dimitrakos, Fabio Martinelli (Eds.): Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France. Springer 2005, ISBN 0-387-24050-0 BibTeX

Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
Security Issues in the Tuple-Space Coordination Model. 1-12
Electronic Edition (link) BibTeX
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina:
Information Flow Analysis for Probabilistic Timed Automata. 13-26
Electronic Edition (link) BibTeX
Lantian Zheng, Andrew C. Myers:
Dynamic Security Labels and Noninterference (Extended Abstract). 27-40
Electronic Edition (link) BibTeX
Jan Cederquist, Muhammad Torabi Dashti:
Formal Analysis of a Fair Payment Protocol. 41-54
Electronic Edition (link) BibTeX
Christian Haack, Alan Jeffrey:
Pattern-Matching Spi-Calculus. 55-70
Electronic Edition (link) BibTeX
Laurent Mazaré:
Decidability of Opacity with Non-Atomic Keys. 71-84
Electronic Edition (link) BibTeX
Jerry den Hartog, Erik P. de Vink:
Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. 85-98
Electronic Edition (link) BibTeX
James Heather, Jonathan Y. Clark:
Family Secrets. 99-114
Electronic Edition (link) BibTeX
Hristo Koshutanski, Fabio Massacci:
An Interactive Trust Management and Negotiation Scheme. 115-128
Electronic Edition (link) BibTeX
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland:
Complementing Computational Protocol Analysis with Formal Specifications. 129-144
Electronic Edition (link) BibTeX
Jianqiang Shi, Gregor von Bochmann, Carlisle M. Adams:
A Trust Model with Statistical Foundation. 145-158
Electronic Edition (link) BibTeX
Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan:
Modelling Dynamic Opacity Using Petri Nets with Silent Actions. 159-172
Electronic Edition (link) BibTeX
Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan:
Reasoning about Secure Interoperation Using Soft Constraints. 173-186
Electronic Edition (link) BibTeX
Ricardo Corin, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini, I. Staicu:
A Logic for Auditing Accountability in Decentralized Systems. 187-201
Electronic Edition (link) BibTeX
Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Alexandre Miège:
A Formal Approach to Specify and Deploy a Network Security Policy. 203-218
Electronic Edition (link) BibTeX
Erik Rissanen, Babak Sadighi Firozabadi, Marek J. Sergot:
Discretionary Overriding of Access Control in the Privilege Calculus. 219-232
Electronic Edition (link) BibTeX
Ali E. Abdallah, Etienne J. Khayat:
A Formal Model for Parameterized Role-Based Access Control. 233-246
Electronic Edition (link) BibTeX