BibTeX | EndNote | ACM Ref
@proceedings{Atluri:2004:1029133,
 title = {FMSE '04: Proceedings of the 2004 ACM workshop on Formal methods in security engineering},
 year = {2004},
 isbn = {1-58113-971-3},
 location = {Washington DC, USA},
 note = {100045},
 publisher = {ACM},
 address = {New York, NY, USA},
}