

FMSE'04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, Washington, DC, USA, October 29, 2004 : co-located with CCS 2004
پدیدآورنده: Sponsored by ACM SIGSAC; General co-chairs : Michael Backes, David Basin & Michael Waidner
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer security,Congresses ، Formal methods )Computer science(
