通信学报
通信學報
통신학보
JOURNAL OF CHINA INSTITUTE OF COMMUNICATIONS
2014年
11期
23-31
,共9页
习宁%马建峰%孙聪%卢笛%张涛
習寧%馬建峰%孫聰%盧笛%張濤
습저%마건봉%손총%로적%장도
模型检测%服务链%信息流安全%可组合
模型檢測%服務鏈%信息流安全%可組閤
모형검측%복무련%신식류안전%가조합
model checking%service chain%information flow security%composibility
提出了一种可组合的服务链信息流安全验证方法.在保证单一组件信息流安全的基础上,给出相邻组件可组合的信息流安全条件和验证算法.实验和仿真结果表明,相比传统模型检测方法,所提的可组合验证算法能够有效减小验证开销,提高验证效率.
提齣瞭一種可組閤的服務鏈信息流安全驗證方法.在保證單一組件信息流安全的基礎上,給齣相鄰組件可組閤的信息流安全條件和驗證算法.實驗和倣真結果錶明,相比傳統模型檢測方法,所提的可組閤驗證算法能夠有效減小驗證開銷,提高驗證效率.
제출료일충가조합적복무련신식류안전험증방법.재보증단일조건신식류안전적기출상,급출상린조건가조합적신식류안전조건화험증산법.실험화방진결과표명,상비전통모형검측방법,소제적가조합험증산법능구유효감소험증개소,제고험증효솔.
