论文部分内容阅读
安全策略为移动计算的安全性提供了必要的保证，而其表达和移动计算的形式化模型往往采用不同的技术实现。该文给出安全策略的一种进程表示方法，通过安全策略的进程表示，很容易将移动计算模型及移动计算的安全性问题在统一的框架下实现。为实现移动计算及其安全性提供了一种简单、可行的方法。
移动计算中安全策略的进程表示
【摘 要】
：
安全策略为移动计算的安全性提供了必要的保证，而其表达和移动计算的形式化模型往往采用不同的技术实现。该文给出安全策略的一种进程表示方法，通过安全策略的进程表示，很容易将
【机 构】
：
上海交通大学电子信息学院
【出 处】
：
计算机工程
【发表日期】
：
2008年2期
其他文献
主动XML（AXML）是指一部分数据直接给出，另一部分数据以Web Services调用方式隐含给出XML文档。研究AXML重写问题，给出AXML重写系统的形式化定义，提出一个基于树自动机理论的AXML文
采用自制的Ziegler—Natta催化剂催化乙烯-丙烯-1-丁烯三元共聚合。考察了1-丁烯／丙烯、铝钛比、反应温度和压力等对三元共聚合的影响。结果表明，三元共聚物中支化度约为26／1000
交换期权是一种较为常见的奇异期权,指期权持有人在到期日T时刻有权(但非必须)以一种资产交换另一种资产。而利率的期限结构以及行为特点,对金融资产的定价起着关键作用。文
基于已知明文的假设下,针对MAG算法初始化、密钥流生成阶段的不同特点,给出2个前向逆推攻击算法。对于密钥规模为80 bit、128 bit的MAG算法,利用上述2个攻击算法只需已知前12
针对面向恢复计算（ROC）技术致力于在故障发生后使系统尽快恢复，从而提高系统可用性，而非从根本上避免故障发生的特点，对面向恢复的相关技术进行研究，给出ROC技术在集群系统中的应用
<正> 茶叶加工中的热处理包括杀青与烘干两大工序,均以制止酶活性和固定与发挥茶叶品质为目的。但是,迄今为止的杀青与烘干技术,都还不能充分满足这些要求,如绿茶常产生红梗