FAST 2006: Hamilton, Ontario, Canada

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