软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2002年
5期
1018-1023
,共6页
进程代数%移动灰箱演算%安全移动灰箱演算%鲁棒灰箱演算%类型
進程代數%移動灰箱縯算%安全移動灰箱縯算%魯棒灰箱縯算%類型
진정대수%이동회상연산%안전이동회상연산%로봉회상연산%류형
为了消除移动灰箱演算中的强干扰问题,Levi等人提出了安全灰箱演算.然而,安全灰箱演算中引入的反动作却带来了新的安全隐患.为了消除上述安全隐患,提出了鲁棒灰箱演算.鲁棒灰箱演算在依靠反动作解决强干扰问题的同时,利用反动作的参数明确了该反动作的使用对象,有效地消除了安全灰箱演算中的不安全因素.对防火墙跨越的描述和对多元异步(-演算的翻译显示鲁棒灰箱演算依然具有较强的类似移动灰箱演算和安全灰箱演算的表达能力.同时还就鲁棒灰箱演算的类型问题作了初步的探讨,给出并证明了一套可以描述进程和能力的移动性和线程数两个属性的类型系统.研究结果初步表明,鲁棒灰箱演算可以成为移动计算形式化描述中的有力工具.
為瞭消除移動灰箱縯算中的彊榦擾問題,Levi等人提齣瞭安全灰箱縯算.然而,安全灰箱縯算中引入的反動作卻帶來瞭新的安全隱患.為瞭消除上述安全隱患,提齣瞭魯棒灰箱縯算.魯棒灰箱縯算在依靠反動作解決彊榦擾問題的同時,利用反動作的參數明確瞭該反動作的使用對象,有效地消除瞭安全灰箱縯算中的不安全因素.對防火牆跨越的描述和對多元異步(-縯算的翻譯顯示魯棒灰箱縯算依然具有較彊的類似移動灰箱縯算和安全灰箱縯算的錶達能力.同時還就魯棒灰箱縯算的類型問題作瞭初步的探討,給齣併證明瞭一套可以描述進程和能力的移動性和線程數兩箇屬性的類型繫統.研究結果初步錶明,魯棒灰箱縯算可以成為移動計算形式化描述中的有力工具.
위료소제이동회상연산중적강간우문제,Levi등인제출료안전회상연산.연이,안전회상연산중인입적반동작각대래료신적안전은환.위료소제상술안전은환,제출료로봉회상연산.로봉회상연산재의고반동작해결강간우문제적동시,이용반동작적삼수명학료해반동작적사용대상,유효지소제료안전회상연산중적불안전인소.대방화장과월적묘술화대다원이보(-연산적번역현시로봉회상연산의연구유교강적유사이동회상연산화안전회상연산적표체능력.동시환취로봉회상연산적류형문제작료초보적탐토,급출병증명료일투가이묘술진정화능력적이동성화선정수량개속성적류형계통.연구결과초보표명,로봉회상연산가이성위이동계산형식화묘술중적유력공구.
