Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Journal of Changsha University》 2013-05
Add to Favorite Get Latest Update

Model Checking of Software Security Based on UML and SPIN

GAO Xiaoxing;LI Xiaoxia;XUE Bing;Vocational and Technical College,Shijiazhuang University of Economics;  
The paper introduces a method of detecting the security vulnerability in the process of design with the model checker SPIN.Security attributes are described with LTL formulae and the software design is converted into PROMELA.The feasibility of the method is proved through a case study.
【CateGory Index】: TP311.53
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【Co-citations】
Chinese Journal Full-text Database 4 Hits
1 Wang Lei,Chen Gui,and Jin Maozhong (School of Computer Science and Engineering,Beihang University,Beijing 100191);Detection of Code Vulnerabilities via Constraint-Based Analysis and Model Checking[J];Journal of Computer Research and Development;2011-09
2 LI Renjian,WANG Zhaofei National Laboratory for Parallel and Distributed Processing,School of Computer Science,National University of Defense Technology,Changsha 410073,China;Overview of termination verification methods for imperative programs[J];Computer Engineering and Applications;2011-28
3 LIN Meng-xiang1 WU Guo-shi2(State Key Lab.of Software Development Environment,Beihang University,Beijing 100083,China)1(School of Software Engineering,Beijing University of Posts & Telecommunications,Beijing 100875,China)2;Survey on Model Checker for Programs[J];Computer Science;2009-04
4 ZHANG Zhi1a,1b,ZHANG Lin1a,1b,ZENG Qing-kai1a,1b,2(1a.State Key Laboratory for Novel Software Technology;1b.Department of Computer Science and Technology,Nanjing University,Nanjing 210093,China;2.Shanghai Key Laboratory of Integrate Administration Technologies for Information Security,Shanghai 200030,China);Improved Model Checking Technology for Program Temporal Safety Properties[J];Computer Engineering;2011-07
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved