• Published

  Static Validation of Security Protocols

  Publication: Research - peer-review › Journal article – Annual report year: 2005

• Published

  On evaluating the performance of security protocols

  Publication: Research - peer-review › Journal article – Annual report year: 2005

• Published

  Performance Evaluation of Security Protocols Specified in LySa

  Publication: Research - peer-review › Journal article – Annual report year: 2005

View all »

• Journal of Computer Security

  ISSNs: 0926-227X

  I O S Press, Netherlands

  FI (2012): 2, ISI indexed (2012): no

  Central database

  Journal

• International Journal of Information Security

  ISSNs: 1615-5262

  Springer, Germany

  FI (2012): 1, ISI indexed (2012): yes

  Central database

  Journal

• Electronic Notes in Theoretical Computer Science

  ISSNs: 1571-0661

  Elsevier BV, Netherlands

  FI (2012): 1, ISI indexed (2012): no

  Central database

  Journal

View all »

• Completed

  Modellering og analyse af globale applikationer

  Project: PhD

• Springer, 0-387

  Central database

  Publisher

• Elsevier

  Local database

  Publisher

• Springer-Verlag

  Local database

  Publisher

View all »