搜索结果: 1-7 共查到“计算机科学技术 release”相关记录7条 . 查询时间(0.015 秒)
在Coffey和Saidha提出的CS逻辑(CS逻辑将时间与逻辑结构相结合,可用于形式化分析Timed-release公钥协议的时间相关性秘密的安全性)的基础上,提出了CS逻辑的扩展逻辑,它更好地反映了Timed-release公钥协议的特性,并对一个协议实例进行了有效的形式化分析.图2参6
Release 2007 now available!
DHI Software
2007/2/7
computer associationes Adds IBM Lotus Domino and IBM DB2 UDB Support in New Release of BrightStor Storage Resource Manager
BrightStor Storage Resource Manager email application data
2007/1/25
CA Announces New Release of eTrust SiteMinder with Enhanced Identity Federation Capabilities
Identity federation Access Management
2006/12/25
CA Extends Leadership in Identity and Access Management with New Release of IAM Solution
Access Management
2006/12/25
computer associationes Advances Virtual Platform Management with Newest Release of Unicenter ASM
Unicenter ASM virtualized platforms
2006/12/6
computer associationes Extends Leadership in Identity and Access Management with New Release of IAM Solution
IT operations IAM capabilities
2006/12/6