You may be trying to access this site from a secured browser on the server. Please enable scripts and reload this page.
Turn on more accessible mode
Turn off more accessible mode
Skip Ribbon Commands
Skip to main content
Turn off Animations
Turn on Animations
To navigate through the Ribbon, use standard browser navigation keys. To skip between groups, use Ctrl+LEFT or Ctrl+RIGHT. To jump to the first Ribbon tab use Ctrl+[. To jump to the last selected command use Ctrl+]. To activate a command, use Enter.
Browse
Tab 1 of 3.
List Tools
Items
List Tools group. Tab 2 of 3.
List
List Tools group. Tab 3 of 3.
Follow
Dr. Khair Eddin Sabri
Currently selected
About Me
Contact Me
Office Hours
MY CV
Research Interests
It looks like your browser does not have JavaScript enabled. Please turn on JavaScript and try again.
Academic Information
Research Interests
Currently selected
Published Research
Published Books
Patency
Academic Conferences
Theses/Dissertations Supervision
Award/Prizes/Orders
Funded Research/Project
Taught Courses
Ongoing Research
Other Academic Activities
Main Menu
About Me
Contact Me
Office Hours
News
Announcements
Calendar
Documents
Useful Links
My Documents
My Contacts
My Gallery
Courses
Materials
Homeworks
Site Contents
Research Interests
Details
Theoretical and practical areas of Computer Security
Formal specification and verification of security policies.
The analysis of information flow in multi-agent systems.
The analysis of cryptographic-key distribution schemes.
Cryptographic protocols specification and verification.
Follow
javascript: SP.SOD.executeFunc('followingcommon.js', 'FollowDoc', function() { FollowDoc('{ListId}', {ItemId}); });
0x0
0x0
ContentType
0x01
1100
Compliance Details
javascript:if (typeof CalloutManager !== 'undefined' && Boolean(CalloutManager) && Boolean(CalloutManager.closeAll)) CalloutManager.closeAll(); commonShowModalDialog('{SiteUrl}'+ '/_layouts/15/itemexpiration.aspx' +'?ID={ItemId}&List={ListId}', 'center:1;dialogHeight:500px;dialogWidth:500px;resizable:yes;status:no;location:no;menubar:no;help:no', function GotoPageAfterClose(pageid){if(pageid == 'hold') {STSNavigate(unescape(decodeURI('{SiteUrl}'))+ '/_layouts/15/hold.aspx' +'?ID={ItemId}&List={ListId}'); return false;} if(pageid == 'audit') {STSNavigate(unescape(decodeURI('{SiteUrl}'))+ '/_layouts/15/Reporting.aspx' +'?Category=Auditing&backtype=item&ID={ItemId}&List={ListId}'); return false;} if(pageid == 'config') {STSNavigate(unescape(decodeURI('{SiteUrl}'))+ '/_layouts/15/expirationconfig.aspx' +'?ID={ItemId}&List={ListId}'); return false;}}, null);
0x0
0x1
ContentType
0x01
898
Document Set Version History
/_layouts/15/images/versions.gif?rev=40
javascript:SP.UI.ModalDialog.ShowPopupDialog('{SiteUrl}'+ '/_layouts/15/DocSetVersions.aspx' + '?List={ListId}&ID={ItemId}')
0x0
0x0
ContentType
0x0120D520
330
Send To other location
/_layouts/15/images/sendOtherLoc.gif?rev=40
javascript:GoToPage('{SiteUrl}' + '/_layouts/15/docsetsend.aspx' + '?List={ListId}&ID={ItemId}')
0x0
0x0
ContentType
0x0120D520
350
