Skip to main content
  • Conference proceedings
  • © 2007

Formal Aspects in Security and Trust

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

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

Part of the book sub series: Security and Cryptology (LNSC)

Conference series link(s): FAST: International Workshop on Formal Aspects in Security and Trust

Conference proceedings info: FAST 2006.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (18 papers)

  1. Front Matter

  2. Strategic Games on Defense Trees

    • Stefano Bistarelli, Marco Dall’Aglio, Pamela Peretti
    Pages 1-15
  3. Timed Calculus of Cryptographic Communication

    • Johannes Borgström, Olga Grinchtein, Simon Kramer
    Pages 16-30
  4. Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security

    • M. Daubignard, R. Janvier, Y. Lakhnech, L. Mazaré
    Pages 47-64
  5. Measuring Anonymity with Relative Entropy

    • Yuxin Deng, Jun Pang, Peng Wu
    Pages 65-79
  6. Formalizing and Analyzing Sender Invariance

    • Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò, David Basin
    Pages 80-95
  7. A Tool for the Synthesis of Controller Programs

    • Ilaria Matteucci
    Pages 112-126
  8. Where Can an Insider Attack?

    • Christian W. Probst, René Rydhof Hansen, Flemming Nielson
    Pages 127-142
  9. Maintaining Information Flow Security Under Refinement and Transformation

    • Fredrik Seehusen, Ketil Stølen
    Pages 143-157
  10. A Classification of Delegation Schemes for Attribute Authority

    • Ludwig Seitz, Erik Rissanen, Babak Sadighi
    Pages 158-169
  11. Program Partitioning Using Dynamic Trust Models

    • Dan Søndergaard, Christian W. Probst, Christian Damsgaard Jensen, René Rydhof Hansen
    Pages 170-184
  12. Locality-Based Security Policies

    • Terkel K. Tolstrup, Flemming Nielson, René Rydhof Hansen
    Pages 185-201
  13. A Formal Specification of the MIDP 2.0 Security Model

    • Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna
    Pages 220-234
  14. A Comparison of Semantic Models for Noninterference

    • Ron van der Meyden, Chenyi Zhang
    Pages 235-249
  15. Hiding Information in Multi Level Security Systems

    • Danièle Beauquier, Ruggero Lanotte
    Pages 250-269
  16. A New Trust Model Based on Advanced D-S Evidence Theory for P2P Networks

    • Chunqi Tian, Shihong Zou, Wendong Wang, Shiduan Cheng
    Pages 270-284
  17. Back Matter

Other Volumes

  1. Formal Aspects in Security and Trust

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access