期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
基于通用可组合理论的协议安全性证明方法讨论
1
作者 刘宇靓 任伟 《信息网络安全》 2012年第6期18-22,共5页
文章介绍了可证明安全协议设计中较为流行的UC模型,对UC模型的提出、证明目标、证明过程等进行了总结和分析。通过一个公钥加密通信协议的举例,解释了UC模型下的证明过程。文章最后给出使用UC模型的一般规律。
关键词 可组合理论 UC安全模型 可证明安全协议
在线阅读 下载PDF
An MDL approach to efficiently discover communities in bipartite network 被引量:1
2
作者 徐开阔 曾春秋 +2 位作者 元昌安 李川 唐常杰 《Journal of Central South University》 SCIE EI CAS 2014年第4期1353-1367,共15页
An minimum description length(MDL) criterion is proposed to choose a good partition for a bipartite network. A heuristic algorithm based on combination theory is presented to approach the optimal partition. As the heu... An minimum description length(MDL) criterion is proposed to choose a good partition for a bipartite network. A heuristic algorithm based on combination theory is presented to approach the optimal partition. As the heuristic algorithm automatically searches for the number of partitions, no user intervention is required. Finally, experiments are conducted on various datasets, and the results show that our method generates higher quality results than the state-of-art methods, cross-association and bipartite, recursively induced modules. Experiment results also show the good scalability of the proposed algorithm. The method is applied to traditional Chinese medicine(TCM) formula and Chinese herbal network whose community structure is not well known, and found that it detects significant and it is informative community division. 展开更多
关键词 community detection bipartite network minimum description length
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部