Security Issues in the Tuple-Space Coordination Model.

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

 1-12

Information Flow Analysis for Probabilistic Timed Automata.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

 13-26

Dynamic Security Labels and Noninterference (Extended Abstract).

Lantian Zheng, Andrew C. Myers

 27-40

Formal Analysis of a Fair Payment Protocol.

Jan Cederquist, Muhammad Torabi Dashti

 41-54

Pattern-Matching Spi-Calculus.

Christian Haack, Alan Jeffrey

 55-70

Decidability of Opacity with Non-Atomic Keys.

Laurent Mazaré

 71-84

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

Jerry den Hartog, Erik P. de Vink

 85-98

Family Secrets.

James Heather, Jonathan Y. Clark

 99-114

An Interactive Trust Management and Negotiation Scheme.

Hristo Koshutanski, Fabio Massacci

 115-128

Complementing Computational Protocol Analysis with Formal Specifications.

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

 129-144

A Trust Model with Statistical Foundation.

Jianqiang Shi, Gregor von Bochmann, Carlisle M. Adams

 145-158

Modelling Dynamic Opacity Using Petri Nets with Silent Actions.

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

 159-172

Reasoning about Secure Interoperation Using Soft Constraints.

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

 173-186

A Logic for Auditing Accountability in Decentralized Systems.

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

 187-201

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

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

 203-218

Discretionary Overriding of Access Control in the Privilege Calculus.

Erik Rissanen, Babak Sadighi Firozabadi, Marek J. Sergot

 219-232

A Formal Model for Parameterized Role-Based Access Control.

Ali E. Abdallah, Etienne J. Khayat

 233-246