计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2008年
2期
20-21,24
,共3页
移动计算%安全属性%安全策略%安全自动机%进程
移動計算%安全屬性%安全策略%安全自動機%進程
이동계산%안전속성%안전책략%안전자동궤%진정
安全策略为移动计算的安全性提供了必要的保证,而其表达和移动计算的形式化模型往往采用不同的技术实现.该文给出安全策略的一种进程表示方法,通过安全策略的进程表示,很容易将移动计算模型及移动计算的安全性问题在统一的框架下实现.为实现移动计算及其安全性提供了一种简单、可行的方法.
安全策略為移動計算的安全性提供瞭必要的保證,而其錶達和移動計算的形式化模型往往採用不同的技術實現.該文給齣安全策略的一種進程錶示方法,通過安全策略的進程錶示,很容易將移動計算模型及移動計算的安全性問題在統一的框架下實現.為實現移動計算及其安全性提供瞭一種簡單、可行的方法.
안전책략위이동계산적안전성제공료필요적보증,이기표체화이동계산적형식화모형왕왕채용불동적기술실현.해문급출안전책략적일충진정표시방법,통과안전책략적진정표시,흔용역장이동계산모형급이동계산적안전성문제재통일적광가하실현.위실현이동계산급기안전성제공료일충간단、가행적방법.
