Machine generated authority record.

Work cat.: (SA-RiNAUS)31494: تركاوي، اسماء عبد المنعم عبد الله مؤلف. 20725, ِِA formal framework for security analysis of wepa2 protocol =