DocumentCode :
13052
Title :
Formally Evaluating Wireless Security Protocols
Author :
Ladislav Kohout استاد مشاور , Robert A. van Engelen استاد مشاور , Alec Yasinsac استاد راهنما
University :
Florida State University Electronic theses Fsu Browse
Grade :
نامعلوم
Major :
Master of Science )Computer Science, Department of(
Number of pages :
0
Publish Date :
2005
Keyword :
WIRELESS , protocol , SECURITY , AUTHENTICATION , encryption/decryption , formal methods , CPAL-ES , attack
Note :
01
Language :
انگليسي
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=17&DC=13052
