信息安全与技术
信息安全與技術
신식안전여기술
INFORMATION SECURITY AND TECHNOLOGY
2014年
12期
17-19
,共3页
行为时序逻辑%活性%安全性%安全行为
行為時序邏輯%活性%安全性%安全行為
행위시서라집%활성%안전성%안전행위
tla%liveness%safety%safe action
文章研究行为时序逻辑（TLA）中行为（Action）的性质及行为之间的关系，提出“行为活性”和“行为安全性”概念，从行为的视角重新给出系统活性和安全性的定义，使得安全性和活性定义更加直观和容易理解，并证明了新老定义的等价性。
文章研究行為時序邏輯（TLA）中行為（Action）的性質及行為之間的關繫，提齣“行為活性”和“行為安全性”概唸，從行為的視角重新給齣繫統活性和安全性的定義，使得安全性和活性定義更加直觀和容易理解，併證明瞭新老定義的等價性。
문장연구행위시서라집（TLA）중행위（Action）적성질급행위지간적관계，제출“행위활성”화“행위안전성”개념，종행위적시각중신급출계통활성화안전성적정의，사득안전성화활성정의경가직관화용역리해，병증명료신로정의적등개성。
This paper studied on the action’s property of Temporal Logic of Actions, put foreword notions of safety and liveness of action, redefined the safety and liveness of system from from another perspective of action, proved them equivalent to former definitions.
