A XML access control system based on the extended model is designed.
设计了一个基于该扩展模型的XML访问控制系统。
We obtain the stability condition by applying the linear stability theory to the extended model.
应用线性稳定性理论得到稳定条件。
The extended model can be used to verify not only static but also dynamic information flow policies.
推广后的不干扰模型不仅能够验证静态信息流策略，还可以验证各种动态信息流策略。
Combined with real requirement, this paper sets out design and realization of permission system based on the extended model.
本论文结合实际应用系统的需求，设计并实现了基于扩展模型理念的权限系统。
Based on the statistical model classification of mobile satellite communication channel, a partial-shadowing extended model suited for mobile satellite channel is proposed.
在对卫星移动信道传输特性统计模型研究分类的基础上，给出了适合卫星移动信道的部分阴影扩展模型。
It has been proven by instances that the extended model and method can better analyze and describe the security of e-commerce security protocol, and be applied in wider fields.
实例证明了扩展后的模型和方法能够更精确地分析和描述电子商务安全协议的安全性，并能够应用于更广泛的领域。
The Extended Model theory is a mathematical theory, on which an Extended Model theory Language (EMTL) has been realized.
扩充模型论是一种数学理论，在它的基础上我们实现了一种扩充模型论语言——EMTL。
The Extended Model theory is a mathematical theory, on which an Extended Model theory Language (EMTL) has been realized.
扩充模型论是一种数学理论，在它的基础上我们实现了一种扩充模型论语言——EMTL。
应用推荐