noninterference - Globe Thesis

Keyword [noninterference] Result: 1 - 20 \| Page: 1 of 1
1.	Key Technology Research Of Trusted Computing Environment For Embedded System
2.	Research On Key Technologies Of Data Security Exchange
3.	Research On Information Flow Security Of Cloud Computing Based On Noninterference Models
4.	Study On Formalization Design For High-Level Secure Operating System
5.	Research On Key Technology Of Trusted Authentication
6.	Research On Programming Language-based Secure Declassification Model
7.	Research On Formal Design And Analysis For Security System
8.	Mandatory Access Control Models Research For Important Information System
9.	Research And Application On Key Technologies Of Model Checking
10.	Search Optimization, Capacity Calculation And Mitigation Of Covert Channel By Noninterference Analysis
11.	The Research Of Theory And Technology Of The Trust Chain Of Trusted Computing Platform
12.	Verification And Synthesis Strategy Of Information Flow Security Properties Based On Petri Net
13.	An Information Flow Security Control Method Based On Virtualization Technology
14.	Information Release Policy Based On Programming Language Mechanisms
15.	Research On One-way Communication Mechanism For Network Security Isolation And Information Exchange
16.	Research On The Model And Key Technologies Of Fine-grained Information Flow Control
17.	Research On The Dynamics Of Trust Chain In Cloud Computing
18.	Research On Non-invasive Gait Identity Recognition Using Muiti-source Data
19.	Design And Implementation Of Dynamic Trusted System Based On Trusted Chain Transfer
20.	Collaborative Security Diagnosis And Control In Networked Information System
<<First <Prev Next> Last>> Jump to