default search action

combined dblp search
author search
venue search
publication search

ask others

FAST 2008: Malaga, Spain

> Home > Conferences and Workshops > FAST

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/2008
Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli:
Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5491, Springer 2009
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/BartheGHB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/BartheGHB08
Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin:
Formal Certification of ElGamal Encryption. 1-19
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/Boudol08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/Boudol08
Gérard Boudol:
Secure Information Flow as a Safety Property. 20-34
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/LuxM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/LuxM08
Alexander Lux, Heiko Mantel:
Who Can Declassify?. 35-49
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/ClarkH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/ClarkH08
David Clark, Sebastian Hunt:
Non-Interference for Deterministic Interactive Programs. 50-66
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/MantelS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/MantelS08
Heiko Mantel, Henning Sudbrock:
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. 67-81
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/DugganW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/DugganW08
Dominic Duggan, Ye Wu:
Causality and Accountability. 82-96
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/Pavlovic08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/Pavlovic08
Dusko Pavlovic:
Dynamics, Robustness and Fragility of Trust. 97-113
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/LoriniFC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/LoriniFC08
Emiliano Lorini, Rino Falcone, Cristiano Castelfranchi:
Trust within the Context of Organizations: A Formal Approach. 114-128
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/SpiessensHE08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/SpiessensHE08
Fred Spiessens, Jerry den Hartog, Sandro Etalle:
Know What You Trust. 129-142
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/JongeJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/JongeJ08
Wiebren de Jonge, Bart Jacobs:
Privacy-Friendly Electronic Traffic Pricing via Commits. 143-161
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/Metayer08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/Metayer08
Daniel Le Métayer:
A Formal Privacy Management Framework. 162-176
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/GrooteO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/GrooteO08
Jan Friso Groote, Simona Orzan:
Parameterised Anonymity. 177-191
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/KlayV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/KlayV08
Francis Klay, Laurent Vigneron:
Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder. 192-209
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/FrauGF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/FrauGF08
Simone Frau, Roberto Gorrieri, Carlo Ferigato:
Petri Net Security Checker: Structural Non-interference at Work. 210-225
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/VerhoevenD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/VerhoevenD08
Rob Verhoeven, Francien Dechesne:
Verifying Multi-party Authentication Using Rank Functions and PVS. 226-241
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/HeatherL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/HeatherL08
James Heather, David Lundin:
The Append-Only Web Bulletin Board. 242-256
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/GunterY08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/GunterY08
Elsa L. Gunter, Ayesha Yasmeen:
Secure Broadcast Ambients. 257-271
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/Bursztein08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/Bursztein08
Elie Bursztein:
Extending Anticipation Games with Location, Penalty and Timeline. 272-286
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/BielovaM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/BielovaM08
Nataliia Bielova, Fabio Massacci:
Do You Really Mean What You Actually Enforced?. 287-301
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/AgudoGL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/AgudoGL08
Isaac Agudo, M. Carmen Fernández Gago, Javier López:
Delegating Privileges over Finite Resources: A Quota Based Delegation Approach. 302-315
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/CohenMZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/CohenMZ08
Ariel Cohen, Ron van der Meyden, Lenore D. Zuck:
Access Control and Information Flow in Transactional Memory. 316-330

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.