IFIP TC6 Open Digital Library

FAST 2004: Toulouse, France

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

Theodosis Dimitrakos, Fabio Martinelli

Springer, IFIP 173, ISBN: 0-387-24050-0


Security Issues in the Tuple-Space Coordination Model.

Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro


Information Flow Analysis for Probabilistic Timed Automata.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina


Dynamic Security Labels and Noninterference (Extended Abstract).

Lantian Zheng, Andrew C. Myers


Formal Analysis of a Fair Payment Protocol.

Jan Cederquist, Muhammad Torabi Dashti


Pattern-Matching Spi-Calculus.

Christian Haack, Alan Jeffrey


Decidability of Opacity with Non-Atomic Keys.

Laurent Mazaré


Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards.

Jerry den Hartog, Erik P. de Vink


Family Secrets.

James Heather, Jonathan Y. Clark


An Interactive Trust Management and Negotiation Scheme.

Hristo Koshutanski, Fabio Massacci


Complementing Computational Protocol Analysis with Formal Specifications.

Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland


A Trust Model with Statistical Foundation.

Jianqiang Shi, Gregor von Bochmann, Carlisle M. Adams


Modelling Dynamic Opacity Using Petri Nets with Silent Actions.

Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan


Reasoning about Secure Interoperation Using Soft Constraints.

Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan


A Logic for Auditing Accountability in Decentralized Systems.

Ricardo Corin, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini, I. Staicu


A Formal Approach to Specify and Deploy a Network Security Policy.

Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Alexandre Miège


Discretionary Overriding of Access Control in the Privilege Calculus.

Erik Rissanen, Babak Sadighi Firozabadi, Marek J. Sergot


A Formal Model for Parameterized Role-Based Access Control.

Ali E. Abdallah, Etienne J. Khayat