| 4 results |
| Technology | Date |
|---|---|
| FoCs Property Checkers Generator A productivity tool for automatic generation of simulation monitors from formal specifications. | 12/20/2006 |
| IBM CIM Provider Certification Tool A CIM-based certifier for facilitating the verification of CIM providers. | 01/23/2007 |
| KeyMan A tool for managing keys, certificates, certificate revocation lists (CRLs), and the respective repositories for storing and retrieving these items. | 02/07/2007 |
| Security Workbench Development Environment for Java A collection of Eclipse plug-ins designed to aid in the security-related aspects of developing Eclipse plug-ins, Java applications, and OSGi applications. | 04/08/2008 |
| 4 results |
