عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A25A326 2003
QA
76
.
9
.
A25A326
2003
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
FMSE'03 : proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03
وضعیت ویراست
نام نخستين ويراستار
2003 : Washington, D.C.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
ACM Press
تاریخ نشرو بخش و غیره
c2003
مشخصات ظاهری
نام خاص و کميت اثر
v, 87 p.: ill., tables.
يادداشت کلی
متن يادداشت
"Sponsored by ACM SIGSAC"
متن يادداشت
Includes bibliographies
متن يادداشت
ISBN: 1581137818
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
edited by Michael Backes, David Basin & Michael Waidner
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Computer security
عنصر شناسه ای
Congresses ، Formal methods )Computer science(
رده بندی کنگره
شماره رده
QA
76
.
9
.
A25A326
2003
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Backes, Michael
عنصر شناسه اي
AU Basin, David
عنصر شناسه اي
AU Waidner, Michael
عنصر شناسه اي
CO ACM Special Interest Group on Security, Audit and Control
عنصر شناسه اي
CO Association for Computing Machinery
عنصر شناسه اي
CO ACM Conference on Computer and Communications Security 10th : 2003 : Washington, D.C.
عنصر شناسه اي
TI
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
ACM Workshop on Formal Methods in Security Engineering
