1. Formal correctness of security protocols
پدیدآورنده : Bella, Giampaolo
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer security,، Computers-- Access control,، Cryptography,، Computer networks-- Security measures
رده :
QA
76
.
9
.
A25
.
B44
2007
2. Formal correctness of security protocols
پدیدآورنده : Bella, Giampaolo.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Artificial intelligence,، Computer security,Access control ، Computers
رده :
QA
76
.
9
.
A25
.
B44
3. Formal correctness of security protocols
پدیدآورنده : Bella, Giampaolo
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Computer security,Access control ، Computers
رده :
QA
76
.
9
.
A25
B45
