© 2007

Formal Aspects in Security and Trust

Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers

  • Editors
  • Theo Dimitrakos
  • Fabio Martinelli
  • Peter Y. A. Ryan
  • Steve Schneider
Conference proceedings FAST 2006

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4691)

Table of contents

  1. Front Matter
  2. Stefano Bistarelli, Marco Dall’Aglio, Pamela Peretti
    Pages 1-15
  3. Johannes Borgström, Olga Grinchtein, Simon Kramer
    Pages 16-30
  4. M. Daubignard, R. Janvier, Y. Lakhnech, L. Mazaré
    Pages 47-64
  5. Yuxin Deng, Jun Pang, Peng Wu
    Pages 65-79
  6. Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò, David Basin
    Pages 80-95
  7. Ilaria Matteucci
    Pages 112-126
  8. Christian W. Probst, René Rydhof Hansen, Flemming Nielson
    Pages 127-142
  9. Ludwig Seitz, Erik Rissanen, Babak Sadighi
    Pages 158-169
  10. Dan Søndergaard, Christian W. Probst, Christian Damsgaard Jensen, René Rydhof Hansen
    Pages 170-184
  11. Terkel K. Tolstrup, Flemming Nielson, René Rydhof Hansen
    Pages 185-201
  12. Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna
    Pages 220-234
  13. Ron van der Meyden, Chenyi Zhang
    Pages 235-249
  14. Danièle Beauquier, Ruggero Lanotte
    Pages 250-269
  15. Chunqi Tian, Shihong Zou, Wendong Wang, Shiduan Cheng
    Pages 270-284
  16. Back Matter

About these proceedings


information privacy security tools trust ubiquitous computing

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences