عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
9783540492436 (hardcover : alk. paper)
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
لاتين
زبان متن نوشتاري يا گفتاري و مانند آن
انگليسي
عنوان و نام پديدآور
عنوان اصلي
Formal correctness of security protocols /Giampaolo Bella.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2007.
مشخصات ظاهری
نام خاص و کميت اثر
xviii,274p. cm.
یادداشتهای مربوط به بسته بندی و دسترس بودن اثر
متن يادداشت
مرجع به حساب نمي آيد
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (p.
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Computer networks -- Security measures
عنصر شناسه ای
Computer networks -- Access control
عنصر شناسه ای
Computer network protocols
سایر رده بندی ها
شماره رده
QA
76
.
9
.
A25
2007
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
مولف
کد نقش
Bella, Giampaolo.
