[!--title--]

来源 :软件学报 | 被引量 : [!--cite_num--]次 | 上传用户:[!--user--]
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
[!--newstext--]
其他文献
Chi-演算是将π-演算中两类受限名统一后得到的.多态Chi-演算扩充了Chi-演算的通信能力,使得一次通信可传递多个信息.元Chi-演算是在省略多态Chi-演算的前缀操作子之后得到的
分析了Chen给出的一种度量Vague集(值)之间相似程度的度量方法,指出了这种相似度量方法所存在的缺陷.在此基础上,给出了一种新的相似度量方法.由于该方法具有较好的性质,更具
该文利用线性密码分析对LOKI97进行了攻击,结果显示,LOKI97的安全性并没有达到高级加密标准的要求;利用线性密码分析中的算法1和2^50个明密文对,以0.977的成功率预测92比特子密钥;利用线性密码分析中的算法
统一建模语言UML存在着面向对象建模的不足,例如,用多个模型表示系统,模型的一致性难以保证。UML的工作主要集中于面向对象的分析和设计阶段,在实际阶段并没有做过多的努力等等,给