1. Formal models and techniques for analyzing security protocols /
پدیدآورنده : edited by Véronique Cortier and Steve Kremer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks-- Security measures,Computer security,Computers-- Access control,Electronic information resources-- Access control
رده :
QA76
.
9
.
A25
F654
2011
