FAST 2006: Hamilton, Ontario, Canada

• Stefano Bistarelli, Marco Dall'Aglio, Pamela Peretti:
  Strategic Games on Defense Trees. 1-15
  Electronic Edition (link) BibTeX
• Johannes Borgström, Olga Grinchtein, Simon Kramer:
  Timed Calculus of Cryptographic Communication. 16-30
  Electronic Edition (link) BibTeX
• Gyrd Brændeland, Ketil Stølen:
  A Semantic Paradigm for Component-Based Specification Integrating a Notion of Security Risk. 31-46
  Electronic Edition (link) BibTeX
• Marion Daubignard, Romain Janvier, Yassine Lakhnech, Laurent Mazaré:
  Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security. 47-64
  Electronic Edition (link) BibTeX
• Yuxin Deng, Jun Pang, Peng Wu:
  Measuring Anonymity with Relative Entropy. 65-79
  Electronic Edition (link) BibTeX
• Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò, David A. Basin:
  Formalizing and Analyzing Sender Invariance. 80-95
  Electronic Edition (link) BibTeX
• Karl Krukow, Mogens Nielsen:
  From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust. 96-111
  Electronic Edition (link) BibTeX
• Ilaria Matteucci:
  A Tool for the Synthesis of Controller Programs. 112-126
  Electronic Edition (link) BibTeX
• Christian W. Probst, René Rydhof Hansen, Flemming Nielson:
  Where Can an Insider Attack? 127-142
  Electronic Edition (link) BibTeX
• Fredrik Seehusen, Ketil Stølen:
  Maintaining Information Flow Security Under Refinement and Transformation. 143-157
  Electronic Edition (link) BibTeX
• Ludwig Seitz, Erik Rissanen, Babak Sadighi Firozabadi:
  A Classification of Delegation Schemes for Attribute Authority. 158-169
  Electronic Edition (link) BibTeX
• Dan Søndergaard, Christian W. Probst, Christian Damsgaard Jensen, René Rydhof Hansen:
  Program Partitioning Using Dynamic Trust Models. 170-184
  Electronic Edition (link) BibTeX
• Terkel K. Tolstrup, Flemming Nielson, René Rydhof Hansen:
  Locality-Based Security Policies. 185-201
  Electronic Edition (link) BibTeX
• Kun Wei, James Heather:
  A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols. 202-219
  Electronic Edition (link) BibTeX
• Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna:
  A Formal Specification of the MIDP 2.0 Security Model. 220-234
  Electronic Edition (link) BibTeX
• Ron van der Meyden, Chenyi Zhang:
  A Comparison of Semantic Models for Noninterference. 235-249
  Electronic Edition (link) BibTeX
• Danièle Beauquier, Ruggero Lanotte:
  Hiding Information in Multi Level Security Systems. 250-269
  Electronic Edition (link) BibTeX
• Chunqi Tian, Shihong Zou, Wendong Wang, Shiduan Cheng:
  A New Trust Model Based on Advanced D-S Evidence Theory for P2P Networks. 270-284
  Electronic Edition (link) BibTeX