Welcome
Copyright © SirsiDynix. All rights reserved.
(Build horizon-8.0.1.5407)
Center Of Excellence for Jordanian Public University Library System (COE-JOPULS)
العربية (السعودية)
English (United States)
Log in
Help
Welcome
Jordanian Union Catalogue
360 Search
Search Libraries Catalogue
Simple
Advanced
Power
Community Resource
Search History
My List
My Account
Search
Options
Refine
Start Over
Show details
Hide details
Duplicate Items
Add to My List
Print
Sorts and Limits
Sorts:
None
Author
Publication Date
Publisher
Subject
Title
Title:
Verification of access control policies using model checking / by Raya Kamel Ali al-Yazjeen ; supervised by Dr. Khair Eddin Sabri. التحقق من سياسات التحكم في الوصول باستخدام فحص النموذج
التحقق من سياسات التحكم في الوصول باستخدام فحص النموذج التحقق من سياسات التحكم في الوصول باستخدام فحص النموذج
Main Entry:
Al-Yazjeen, Raya Kamel Ali, author.
Sabri, Khair Eddin Muawiyah, supervisor.
The University of Jordan (Amman, Jordan). King Abdullah II School of Information Technology. Department of Computer Science.
Publication Date:
2020.
Subject:
Computer science
Computers -- Access control.
Computer networks -- Security measures.
Computer systems -- Verification.
Results 1 - 1 of 1
Agency:
Collection:
Call No.:
Item Type:
Status:
Copy:
Barcode:
Media Type:
Theses & Disertations
Thesis
005.8 Y35
No Circulation
Available
1
JUF0850037
Compact Disc Read-only Memory