Use operational semantics as tools to proof definiteness and terminability of SPL expressions so security of SPL is guaranteed .
本文以操作语义为分析工具,证明了SPL 策略 语言表达式的确定性和 可 终止 性,从而 间接证明了SPL语言的安全 性是有保障的。
A New Algorith and Quadratic Terminability for Linearly Constrained Optimization
一个线性约束问题的算法及二次 终止 性
美[ˌtɜ:mɪnə'bɪlətɪ]英[ˌtɜ:mɪnə'bɪlɪtɪ]
n.有期限,可终止