基于马尔可夫的检查点可信评估方法

doi:10.11959/j.issn.1000-436x.2015026

Abstract

Abstract:

According to the trust evaluation of software and its modules after running for a period of time a checkpoint trust evaluation model was presented based on Markov to find the vulnerability of software by monitoring software behavior dynamically.The model reflected the software running situation by some checkpoints worked in the software behavior trace,then divided some trust levels to reflect the checkpoint trusted situation by the Markov model and the weight of checkpoint,and finally synthesized the checkpoint trusted situation to determine the software trust value.Experimental results showed that the model could effectively reflect the trusted situation of the various parts of the software,and verify the rationality and availability of the model.

Key words: software trust evaluation, checkpoint, Markov model, Gaussian mixture model

Jun-feng TIAN,Ya-jiao ZHANG. Checkpoint trust evaluation method based on Markov[J]. Journal on Communications, 2015, 36(1): 230-236.

Figures/Tables 4

References 21

[1]	尚珊珊，赵轶群．软件可靠性综述[J]．软件导刊， 2006,5(15):3-5. SHANG S S , ZHAO Y Q . Overview of software reliability[J]. Software Guide, 2006,5(15):3-5.
[2]	ZHANG H G , LUO J , JIN G , et al. Development of trusted computing research[J]. Journal of Wuhan University(Natural Science Edition), 2006,52(5): 513-518.
[3]	Trusted Computing Group. TCG specification architecture overview[EB/OL]. . 2013.
[4]	WANG H M , TANG Y B , YIN G , et al. Trustworthiness of Internet-based software[J]. Science in China:Series F Information Sciences, 2006,49(6): 759-773.
[5]	杨善林，丁帅，褚伟．一种基于效用和证据理论的可信软件评估方法[J]．计算机研究与发展， 2009,46(7):1152-1159. YANG S L , DING S , CHU W . Trustworthy software evaluation using utility based evidence theory[J]. Journal of Computer Research and Development, 2009,46(7):1152-1159.
[6]	蔡斯博，邹艳珍，邵凌霜等．一种支持软件资源可信评估的框架[J]．软件学报， 2010,21(2):359-372. CAI S B , ZOU Y Z , SHAO L S , et al. Framework supporting software assets evaluation on trustworthiness[J]. Journal of Software, 2010,21(2):359-372.
[7]	沈国华，黄志球，钱巨等．软件可信评估模型及其工具实现[J]．计算机科学与探索， 2011,5(6):553-561. SHEN G H , HUANG Z Q , QIAN J , et al. Research on software trustworthiness evaluation model and its implementation[J]. Journal of Frontiers of Computer Science an Technology, 2011,5(6):553-561.
[8]	丁帅，鲁忖俊，杨善林等．一种需求驱动的软件可信性评估及演化模型[J]．计算机研究与发展， 2011,48(4):647-655. DING S , LU F J , YANG S L , et al. A requirement-driven software trustworthiness evaluation and evolution model[J]. Journal of Computer Research and Development, 2011,48(4):647-655.
[9]	DIAKOV K , BATTERAMA J , ZANDBELT H . Monitoring of distributed component interactions[A]. Proceeding of IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing[C]. New York,USA, 2000. 229-243.
[10]	LI J . Monitoring and characterization of component-based systems with global causality capture[A]. Proceeding of the 23rd International Conference on Distributed Computing Systems[C]. Rhode Island,USA, 2003. 422-433.
[11]	MARIANI L , PEZZE M . A technique for verifying component-based software[J]. Electronic Notes in Theoretical Computer Science, 2005,116(1): 17-30.
[12]	CHEN F , GRIGORE R . Mop:an efficient and generic runtime verification framework[A]. Proceeding of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems and Applications[C]. Montreal,Canada, 2007. 569-588.
[13]	古亮，郭耀，王华等．基于 TPM 的运行时软件可信证据收集机制[J]．软件学报， 2010,21(2):373-388. GU L , GUO Y , WANG H , et al. Runtime software trustworthiness evidence collection mechanism based on TPM[J]. Journal of Software, 2010,21(2):373-388.
[14]	刘玉玲，杜瑞忠，冯建磊等．基于软件行为的检查点风险评估信任模型[J]．西安电子科技大学学报， 2012,39(1):179-184. LIU Y L , DU R Z , FENG J L , et al. Trust model of software behaviors based on check point risk assessment[J]. Journal of Xidian University, 2012,39(1):179-184.
[15]	刘辉，白峰杉．基于混合高斯过程模型的高光谱图像分类算法[J]．高校应用数学学报， 2010,25(4):379-385. LIU H , BAI F S . Hyperspectral image classification based on mixed Gaussian process model[J]. Applied Mathematics A Journal of Chinese Universities, 2010,25(4):379-385.
[16]	王爱萍，张功营，刘方． EM算法研究与应用[J]．计算机技术与发展， 2009,19(9):108-110. WANG A P , ZHANG G Y , LIU F . Research and application of EM algorithm[J]. Computer Technology and Development, 2009,19(9):108-110.
[17]	胡宇驰．应用马尔科夫状态图法进行可靠性评估[J]．电子科技大学学报， 2001,30(2):175-180. HU Y C . Evaluation of reliability of a fault-tolerance computer system by Markov status graph[J]. Journal of UEST of China, 2001,30(2):175-180.
[18]	J?SANG A . A logic for uncertain probabilities[J]. International Journal of Uncertainty,Fuzziness and Knowledge-Based Systems, 2001,9(3): 279-311.
[19]	张吉军．模糊层次分析法(FAHP)[J]．模糊系统与数学， 2000,12(2):80-88. ZHANG J J . Fuzzy analytical hierarchy process[J]. Fuzzy Systems and Mathematics, 2000,12(2):80-88.
[20]	邵建平，王玲． “拉长板”木桶原理及其运用研究[J]．科技管理研究， 2005,(4):159-161. SHAO J P , WANG L . Study on “stretched panels” bucket theory and its applicaion[J]. Science and Technology Management Research, 2005,4:159-161.
[21]	国家信息安全漏洞平台． GNU GZip 文档处理多个安全漏洞[EB/OL]. , 2013.China National Vulnerability Database. GNU Gzip Deals with many security vulnerabilities[EB/OL]. , 2013.

Metrics

Recommended 0

No Suggested Reading articles found!

Checkpoint trust evaluation method based on Markov

RichHTML

PDF

Knowledge

Abstract

Cite this article

share this article

Figures/Tables 4

References 21

Related Articles 15

Metrics

Recommended 0

[1]	Rong QIAN, Jianting XU, Kejun ZHANG, Hongyu DONG, Fangyuan XING. Research on HMM based link prediction method in heterogeneous network [J]. Journal on Communications, 2022, 43(5): 214-225.
[2]	Hua LONG,Mingliang YANG,Yubin SHAO. Noisy voice detection algorithm based on feature stream fusion [J]. Journal on Communications, 2020, 41(4): 134-142.
[3]	HU Jianwei,CHE Xin,ZHOU Man,CUI Yanpeng. Incremental clustering method based on Gaussian mixture model to identify malware family [J]. Journal on Communications, 2019, 40(6): 148-159.
[4]	Junfeng TIAN,Yuhui GUO. Software behavior trust forecast model based on check point scene information [J]. Journal on Communications, 2018, 39(9): 147-158.
[5]	Yuanbo GUO,Chunhui LIU,Jing KONG,Yifeng WANG. Study on user behavior profiling in insider threat detection [J]. Journal on Communications, 2018, 39(12): 141-150.
[6]	Qingmin MENG,Yuanyuan ZHAO,Wenjing YUE,Yulong ZOU,Xiaoming WANG. Markov prediction based handover in dynamic ultra dense network [J]. Journal on Communications, 2018, 39(10): 166-174.
[7]	Wei-dong LYU,Xue-guang ZHOU,Zhi-min YUAN. Design of tree topology based Byzantine fault tolerance system [J]. Journal on Communications, 2017, 38(Z2): 139-146.
[8]	Quan-hua ZHAO,Xue SHI,Yu WANG,Yu LI. Remote sensing image segmentation based on spatially constrained Gaussian mixture model with unknown class number [J]. Journal on Communications, 2017, 38(2): 34-43.
[9]	Jian-zhen LUO,Shun-zheng YU,Jun CAI. Method for determining the lengths of protocol keywords based on maximum likelihood probability [J]. Journal on Communications, 2016, 37(6): 119-128.
[10]	Chang-hai WANG,Jian-zhong ZHANG,Jing-dong XU,Yu-wei XU. Identifying the confidence level of activity recognition via HMM [J]. Journal on Communications, 2016, 37(5): 143-151.
[11]	Zhen LI,Jun-feng TIAN,Zhuo CHANG,Xiao-xue MA. Distributed software monitoring and trustworthiness evaluation based on checkpoints [J]. Journal on Communications, 2016, 37(3): 7-19.
[12]	Kai ZHONG,Hua PENG,Lin-dong GE. Blind Turbo equalization algorithm based on hidden Markov model for continuous phase modulation signals [J]. Journal on Communications, 2015, 36(3): 170-178.
[13]	Xin TANG,Zhao-feng MA,Xin-xin NIU,Yi-xian YANG. Blind audio watermarking mechanism based on variational Bayesian learning [J]. Journal on Communications, 2015, 36(1): 121-128.
[14]	Sheng-zong LIU,Xiao-ping FAN,Zhi-fang LIAO,Jia HU. Hidden Markov model fused with staying time for personalized recommendation [J]. Journal on Communications, 2014, 35(9): 112-121.
[15]	. Location prediction algorithm based on movement tendency [J]. Journal on Communications, 2014, 35(2): 7-53.