Infoscience

Similar records
Conference paper

Representation and Analysis of Coordinated Attacks

Braynov, Sviatoslav; Jadliwala, Murtuza
  • Presented at: 2003 ACM workshop on Formal methods in security engineering (FMSE 2003), Washington D.C., USA, October 30, 2003
  • Published in: Proceedings of the 2003 ACM workshop on Formal methods in security engineering (FMSE 2003), p. 43-51
  • : , 2003

Reference

  • LCA-CONF-2008-084

Record created on 2008-12-24, modified on 2011-07-15

Fulltext

Contacts