Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

FOSAD 2004/2005

> Home > Conferences and Workshops > FOSAD

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/fosad/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/2005
Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli:
Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures. Lecture Notes in Computer Science 3655, Springer 2005, ISBN 3-540-28955-0

FOSAD 2004 (6-11 September 2004)

- view
  authority control:
- export record
  dblp key:
  - conf/fosad/BackesPW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/BackesPW04
Michael Backes, Birgit Pfitzmann, Michael Waidner:
Justifying a Dolev-Yao Model Under Active Attacks. 1-41
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/Jurjens04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/Jurjens04
Jan Jürjens:
Model-Based Security Engineering with UML. 42-77
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/KoeuneS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/KoeuneS04
François Koeune, François-Xavier Standaert:
A Tutorial on Physical Security and Side-Channel Attacks. 78-108
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/Focardi04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/Focardi04
Riccardo Focardi:
Static Analysis of Authentication. 109-132

FOSAD 2005 (19-24 September 2005)

- view
  authority control:
- export record
  dblp key:
  - conf/fosad/BartheD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/BartheD05
Gilles Barthe, Guillaume Dufay:
Formal Methods for Smartcard Security. 133-177
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/BertinoBL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/BertinoBL05
Elisa Bertino, Ji-Won Byun, Ninghui Li:
Privacy-Preserving Database Systems. 178-206
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/DebarV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/DebarV05
Hervé Debar, Jouni Viinikka:
Intrusion Detection: Introduction to Intrusion Detection and Security Information Management. 207-236
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/GiorginiMZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/GiorginiMZ05
Paolo Giorgini, Fabio Massacci, Nicola Zannone:
Security and Trust Requirements Engineering. 237-272

a service of

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.