• 面向时间敏感对象的垂直搜索引擎关键技术研究

    面向时间敏感对象的垂直搜索引擎关键技术研究

    论文摘要随着搜索服务的逐渐普及深化,用户针对特定领域的搜索需求逐渐明确、对搜索结果的个性化程度和实时性要求逐渐增高,使得基于垂直搜索领域的高效信息检索服务已成为搜索引擎市场的热...
  • 复杂安全协议的建模与验证

    复杂安全协议的建模与验证

    论文摘要随着网络的发展,互联网络的安全问题变得越来越棘手,越来越重要,安全协议的安全性质也受到越来越多的挑战。安全协议是解决互联网络安全问题最有效的手段之一,使用安全协议在开放...