计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
3期
163-168
,共6页
非干扰%内部时间信道%类型理论
非榦擾%內部時間信道%類型理論
비간우%내부시간신도%류형이론
Non-interference%Internal timing channel%Type theory
提出了一种针对多线程程序的内部时间信息流的宽容的类型系统.在隐藏竞争变量集合的基础上定义了非干扰属性的形式化规范;在类型系统中区分了隐藏线程,细化了对内部时间信息流发生场景的分析.相对于已有的基于类型理论的方法,本类型系统可以允许更多实质上安全的代码通过类型检查.另外,类型系统的可靠性是在独立于调度模型的情况下证明的.
提齣瞭一種針對多線程程序的內部時間信息流的寬容的類型繫統.在隱藏競爭變量集閤的基礎上定義瞭非榦擾屬性的形式化規範;在類型繫統中區分瞭隱藏線程,細化瞭對內部時間信息流髮生場景的分析.相對于已有的基于類型理論的方法,本類型繫統可以允許更多實質上安全的代碼通過類型檢查.另外,類型繫統的可靠性是在獨立于調度模型的情況下證明的.
제출료일충침대다선정정서적내부시간신식류적관용적류형계통.재은장경쟁변량집합적기출상정의료비간우속성적형식화규범;재류형계통중구분료은장선정,세화료대내부시간신식류발생장경적분석.상대우이유적기우류형이론적방법,본류형계통가이윤허경다실질상안전적대마통과류형검사.령외,류형계통적가고성시재독립우조도모형적정황하증명적.
