TELECOM Bretagne

Important Dates

Submission Deadline:

Extended April 24, 2009
(23:59:59 PST)

Author Notification:

Extended June 15, 2009

Camera ready:

June 29, 2009

Author Registration:

Registration close


September 21-23, 2009

Call for Paper

Valid XHTML 1.0 Strict
Valid XHTML 1.0 Strict

Registrations for the conference are closed.
The conference program is available on the program page.

Invited Speakers

David Sands

Chalmers University of Technology
Paralocks: Role-Based Information Flow Control and Beyond


In this talk we present Paralocks, a language for building expressive but statically verifiable fine-grained information flow policies. Paralocks combine the expressive power of Flow Locks (Broberg & Sands, ESOP'06) with the ability to express policies involving run-time principles, roles (in the style of role-based access control), and relations (such as ``acts-for'' in discretionary access control). We illustrate the Paralocks policy language by giving a simple encoding of Myers and Liskov's Decentralized Label Model (DLM). Furthermore -- and unlike the DLM -- we provide an information flow semantics for full Paralock policies. Finally we sketch how Paralocks can be statically verified by providing a simple programming language incorporating Paralock policy specifications, and a static type system which soundly enforces information flow security according to the Paralock semantics.

» homepage