The Institute of Mathematical Sciences C.I.T. Campus, Chennai 600 113, India;
机译:确定XML数据库的架构 k i>-保密性
机译:合作认知无线电网络在联合保密中的中断和主要用户干扰约束下的保密性能
机译:大型蜂窝网络的保密中断概率和平均保密率
机译:标记也使保密是与无限的环绕的欺骗性
机译:Unbounded-2-bounded:两阶段近似,用于模型检查无穷大直到概率系统的性质。
机译:改善终末期肾脏疾病临床疗效的比较有效性研究:DECIDE患者终末期肾脏疾病研究的结果
机译:标记使得无限制的随机数可以保密