l 先进的调度功能 ,用户可以选择立即完成工作,或安排在其他时间完成工作,而不必再次登录。 l 支持多种设备, 可将数据备份到几乎任何一种磁带机、光盘机或可移动驱动器。 l 内置客户机支持, ARCSERVE可支持对WINDOWS NT WINDOWS 95和WINDOWS 3.X计算机的备份和复原。 l 注册备份/复原, 用户可在包括单独密钥的任何级别上对WINDOWS NT 注册信息进行备份/复原。 l 数据校验, ARCSERVE 可利用CRC,快速磁带扫描或逐字节校验等多种校验方法保证
1996年,Lowe首先使用通信顺序进程CSP和模型检测技术分析NSPK(Needham-Schroeder Public Key)协议,并成功发现了协议中的一个中间人攻击行为。随后,Roscoe对CSP和FDR(Fallures-Divergence Refinenent)的组合做了进一步研究,认为CSP方法是形式分析安全协议的一条新途径。事实证明,CSP方法对于安全协议分析及发现安全协议攻击非常有效。但是类似FDR的模型检测通常受Nonce、Key等新鲜值大小的限制,而在实际执行中所需的数据