عنوان
پدید آورنده
موضوع
رده
Q295 .N38 2005eb
Q295
.
N38
2005eb
کتابخانه
محل استقرار
شابک
شابک
1423797426
شابک
1601291272
شابک
1607501473
شابک
9781423797425
شابک
9781601291271
شابک
9781607501473
شابک اشتباه
1586035703
شابک اشتباه
9781586035709
شماره کتابشناسی ملی
شماره
b714699
عنوان و نام پديدآور
عنوان اصلي
Verification of infinite-state systems with applications to security /
نام عام مواد
[Book]
نام نخستين پديدآور
edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Washington, D.C. :
نام ناشر، پخش کننده و غيره
IOS Press,
تاریخ نشرو بخش و غیره
©2006.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (vii, 235 pages) :
ساير جزييات
illustrations.
فروست
عنوان فروست
NATO security through science series. D : Information and communication security ;
مشخصه جلد
vol. 1
يادداشت کلی
متن يادداشت
Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Title page; Preface; Committees; Contents; Number-Set Representations for Infinite-State Verification; Regular Model Checking for Programs with Dynamic Memory; Automatic Verification of Security Properties Based on Abstractions; Grand Challenge: Model Check Software; A Class of Automata for Computing Reachability Relations in Timed Systems; Practical Infinite-State Verification with Temporal Reasoning; Quantum States and Quantum Measurements; Automatic Test Generation and Monitoring of Infinite States Systems; Cryptographic Primitives Can Be Fragile.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Provides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. The papers come from a successful workshop.
یادداشتهای مربوط به نیازمندی های سیستم (منابع الکترونیک)و جزئیات فنی
متن يادداشت
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
IOS Press
شماره انبار
978-1-58603-570-9
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Verification of infinite-state systems with applications to security.
شماره استاندارد بين المللي کتاب و موسيقي
1586035703
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer security, Congresses.
موضوع مستند نشده
Computer software-- Verification, Congresses.
موضوع مستند نشده
System theory-- Mathematical models, Congresses.
موضوع مستند نشده
System theory-- Security measures, Congresses.
موضوع مستند نشده
Computer security.
موضوع مستند نشده
Computer software-- Verification.
موضوع مستند نشده
COMPUTERS-- Internet-- Security.
موضوع مستند نشده
COMPUTERS-- Networking-- Security.
موضوع مستند نشده
COMPUTERS-- Security-- General.
موضوع مستند نشده
System theory-- Mathematical models.
مقوله موضوعی
موضوع مستند نشده
COM-- COM014000
رده بندی ديویی
شماره
005
.
8
ويراست
22
رده بندی کنگره
شماره رده
Q295
نشانه اثر
.
N38
2005eb
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Clarke, Edmund M.,Jr., (Edmund Melson),1945-
مستند نام اشخاص تاييد نشده
Minea, Marius.
مستند نام اشخاص تاييد نشده
Ţiplea, Ferucio Laurenţiu.
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security(2005 :, Timișoara, Romania)
مبدا اصلی
تاريخ عمليات
20201208045823.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
