论文部分内容阅读
面向非确定环境交互的自适应软件系统验证与反例确认研究
【机 构】
：
南京大学
【出 处】
：
南京大学
【发表日期】
：
2017年01期
其他文献
公开密钥基础设施PKI(Public Key Infrastructure)是一种利用非对称密码技术为电子商务、电子政务和电子事务的开展提供一整套安全的基础平台。PKI技术遵循国际标准，采用加密
Internet的广泛应用以及各种复杂计算机应用的出现，各种攻击技术的层出不穷以及攻击的自动化，导致现在的Internet面临前所未有的网络安全威胁，如何有效地分析这些威胁，包括宏观上
随着数据库技术的不断发展及数据库管理系统的广泛应用，数据库中存储的数据量急剧增大，在大量的数据背后隐藏着许多重要的信息。数据挖掘就是利用分析工具从大量的、不完全的、
随着网络的普及，社交服务得到了快速发展，社交网络已经逐渐成为人们日常交流的主要工具，吸引着越来越多的用户加入其中。在学术领域中，伴随国内外各高等院校以及各研究机构在科研
服务器集群技术不但能有效的利用原有的软硬件资源，同时还具有高可用性，高可靠性以及可扩展性等优势。因此，服务器集群的应用日益广泛，但是服务器之间负载的不平衡性与提高集群系
认证密钥交换协议主要用于用户间安全密钥的分发，为用户进一步使用会话密钥进行安全通信提供安全基础，是一种重要的密码学原语构件。本研究重点关注于设计攻击者能力更强的协议
文摘是一项需要耗费大量时间和人力的工作，在进入上世纪中叶后，随着信息量的膨胀，人工文摘已经越来越无法满足需求，自动文本摘要应运而生。早期的自动文本摘要主要是应用启发式的
学分制是随着现代教育改革而发展起来的一种新型管理模式，在学分制下学生不再局限于学习年限，只需达到毕业学分即可毕业；同时，学生还可根据自己的兴趣爱好对所修课程进行自由选择
随着企业应用规模的不断扩大，企业信息孤岛和应用孤岛现象越来越严重，企业迫切需要对各种信息和应用进行有机集成。为此，在国家“十五”科技攻关项目的支撑下，把MAS技术应用到企