Machine generated authority record.

Work cat.: (SA-RiNAUS): تركاوي، اسماء عبد المنعم عبد الله مؤلف., A FORMAL FRAMEWORK FOR SECURITY ANALYSIS OF WPA2 PROTOCOL =