形式化模型论文

基于索引的web服务发现研究
论文摘要web服务作为SOA有效的实现技术已经取得了很大的发展。与传统网页相比,web服务领域存在更加严重的信息孤岛问题。在Internet上,特定功能的web服务不仅淹没在w...
密码协议的形式化分析方法研究
论文摘要密码协议的安全性是网络安全的关键,协议分析是揭示密码协议是否存在安全漏洞的重要途径。与非形式化方法相比,密码协议的形式化分析与验证能全面地检测密码协议存在的安全漏洞。在...
密码模块API形式化验证技术研究
论文摘要长期以来,密码模块API的安全性没有得到人们的充分重视和研究。直到2000年以后,随着API攻击在大多数的密码模块中不断发现,密码模块API的安全性才逐渐引起了人们的广...
结合思维状态的VSK-Agent形式化模型
论文摘要随着计算机网络以及基于网络的分布式计算的发展,对于Agent技术的研究,已经成为人工智能领域以及分布式人工智能的一个热点和重要的研究方向。Agent技术,特别是多Age...