منو
رکورد قبلیرکورد بعدی

" Formal models and techniques for analyzing security protocols / "


Document Type : BL
Record Number : 694188
Doc. No : b516377
Title & Author : Formal models and techniques for analyzing security protocols /\ edited by Véronique Cortier and Steve Kremer
Publication Statement : Amsterdam ; da Washington, DC :: IOS Press,, c2011
Series Statement : Cryptology and information security series ;; v. 5
Page. NO : vii, 303 p. :: ill. ;; 25 cm
ISBN : 1607507137 (print)
: : 1607507145 (online)
: : 9781607507130 (print)
: : 9781607507147 (online)
Bibliographies/Indexes : Includes bibliographical references and index
Subject : Computer networks-- Security measures
Subject : Computer security
Subject : Computers-- Access control
Subject : Electronic information resources-- Access control
LC Classification : ‭QA76.9.A25‬‭F654 2011‬
: ‭QA76.9.A25‬‭F654 2011‬
Added Entry : Cortier, Véronique
: Kremer, Steve
copyhttps://lib.clisel.com/site/catalogue/694188
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟