آزمون مدل پروتكلهاي شبكه با استفاده از زبان ربكا / / علي عبدالرحماني
المواصفات الشكلية
241ص..
الموضوع
امنيت داده ها Security of data ربكا (زبان برنامه نويسي رايانه اي) (Rebeca (Computer program language رمزنگاري Cryptography زبان صوري Formal language پروتكل آي .اي.اي.اي 16/802 IEEE 802.16 Protocol