An Approach to Verify Correctness of the Mandatory Access Control Framework

Author(s):  
Xiaokun Zhang ◽  
Ri Xu ◽  
Yan Zhang ◽  
Geng Zhao
2009 ◽  
Vol 32 (4) ◽  
pp. 730-739 ◽  
Author(s):  
Xin-Song WU ◽  
Zhou-Yi ZHOU ◽  
Ye-Ping HE ◽  
Hong-Liang LIANG ◽  
Chun-Yang YUAN

Author(s):  
Zuobin Ying ◽  
Wenjie Jiang ◽  
Ximeng Liu ◽  
Shengmin Xu ◽  
Robert Deng

Author(s):  
Hongbin Zhang ◽  
Junshe Wang ◽  
Jiang Chang ◽  
Ning Cao

Sign in / Sign up

Export Citation Format

Share Document