ISCAS OpenIR  > 信息安全国家重点实验室
a language for secure requirement description based on information flow
Cheng Liang; Zhang Yang; Feng Dengguo
2010
Conference Name2010 IEEE International Conference on Intelligent Computing and Intelligent Systems, ICIS 2010
SourceProceedings - 2010 IEEE International Conference on Intelligent Computing and Intelligent Systems, ICIS 2010
Pages397-401
Conference Date40845
Conference PlaceXiamen, China
Indexed TypeEI
Publish PlaceUnited States
ISBN9781420000000
Department(1) State Key Laboratory of Information Security, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China
English AbstractThe verification of policy configuration is the key point during the security analysis of SELinux. Most of current verification methods focus on the construction of policy configurations mathematical model, rather than the difficulty of security requirements description for the verifiers. A new security requirement description language (SRDL) based on the theory of information flow is proposed, whose syntax is irrelevant with the verification tools logic systems. Without knowing the mathematical logic behind those verification tools, every requirement can be represented as one or more information flows with SRDL by the verifier. The complier of SRDL could translate these flows into verification tools input automatically. Such a SRDL complier is implemented for the analysis of SELinux. It can translate SRDLs flows into the input model of NuSMV, a wildly used model checker. ©2010 IEEE.
KeywordIntelligent Systems Mathematical Models Model Checking Security Of Data Translation (Languages)
SponsorshipIEEE Beijing Section; Xiamen University; Fujian Association for Artificial Intelligence (FAAI); Shanghai Jiaotong University; Iwate Prefectural University
Content Type会议论文
URIhttp://ir.iscas.ac.cn/handle/311060/8602
Collection信息安全国家重点实验室
Recommended Citation
GB/T 7714
Cheng Liang,Zhang Yang,Feng Dengguo. a language for secure requirement description based on information flow[C]. United States,2010:397-401.
Files in This Item:
File Name/Size DocType Version Access License
05658325.pdf(435KB) 开放获取--Application Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Cheng Liang]'s Articles
[Zhang Yang]'s Articles
[Feng Dengguo]'s Articles
Baidu academic
Similar articles in Baidu academic
[Cheng Liang]'s Articles
[Zhang Yang]'s Articles
[Feng Dengguo]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Cheng Liang]'s Articles
[Zhang Yang]'s Articles
[Feng Dengguo]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.