计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2014年
5期
1071-1081
,共11页
可信动态度量%细粒度度量%状态空间约简%行为关系%行为预期获取%网络安全%信息安全
可信動態度量%細粒度度量%狀態空間約簡%行為關繫%行為預期穫取%網絡安全%信息安全
가신동태도량%세립도도량%상태공간약간%행위관계%행위예기획취%망락안전%신식안전
trusted dynamic measurement%fine grained measurement%state space reduction%behavior relationship%obtaining behavior expectation%network security%information security
针对复杂并发计算机系统行为可信的动态度量研究中，细粒度动态度量所引发的状态空间爆炸问题一直是研究的难点。文中基于并发理论研究复杂并发计算机系统行为可信问题，在保障度量可靠性的前提下对系统状态空间进行约简，即通过标记变迁系统模型描述行为系统，通过事件结构模型研究行为关系，依据行为关系对变迁系统中各条路径进行重构，合并重构路径中相同的路径，实现变迁关系集约简，缩小状态空间。通过上述方法缓解了状态空间爆炸，并且，根据约简后的状态空间得到面向行为的可信动态度量的行为预期，增加细粒度动态度量方法在复杂系统中应用的可行性。
針對複雜併髮計算機繫統行為可信的動態度量研究中，細粒度動態度量所引髮的狀態空間爆炸問題一直是研究的難點。文中基于併髮理論研究複雜併髮計算機繫統行為可信問題，在保障度量可靠性的前提下對繫統狀態空間進行約簡，即通過標記變遷繫統模型描述行為繫統，通過事件結構模型研究行為關繫，依據行為關繫對變遷繫統中各條路徑進行重構，閤併重構路徑中相同的路徑，實現變遷關繫集約簡，縮小狀態空間。通過上述方法緩解瞭狀態空間爆炸，併且，根據約簡後的狀態空間得到麵嚮行為的可信動態度量的行為預期，增加細粒度動態度量方法在複雜繫統中應用的可行性。
침대복잡병발계산궤계통행위가신적동태도량연구중，세립도동태도량소인발적상태공간폭작문제일직시연구적난점。문중기우병발이론연구복잡병발계산궤계통행위가신문제，재보장도량가고성적전제하대계통상태공간진행약간，즉통과표기변천계통모형묘술행위계통，통과사건결구모형연구행위관계，의거행위관계대변천계통중각조로경진행중구，합병중구로경중상동적로경，실현변천관계집약간，축소상태공간。통과상술방법완해료상태공간폭작，병차，근거약간후적상태공간득도면향행위적가신동태도량적행위예기，증가세립도동태도량방법재복잡계통중응용적가행성。
In research on dynamic measurement of behavior trustworthiness of complex concurrent computer systems,how to solve state space explosion caused by fine grained dynamic measure-ment is a difficult point up to the present.Based on concurrency theory,we researched behavior trustworthiness of complex concurrent computer system and reduced the state space on the premise of ensuring reliability of measurement.We described behavior system through the model of LabeledTransition System and researched behavior relationship through the model of event structure,then we reconstructed all paths in the transition system according to the behavior relationship and combined like paths in order to reduce the set of transition relations and narrow the state space.The situation of state space explosion can be relaxed through the methods mentioned above andmeanwhile,the behavior expectation of trusted dynamic measurement can be obtained according to the reduced state space,which enhances the feasibility of the method of fine grained trusted dynamic measurement applied in a complex system.
